CR-03 : Formal proof and floating-point arithmetic Tuesday September 4th, 2012Friday October 12th, 2012 Jean-Michel Muller
CB-03 : Arithmétique des ordinateurs Sunday July 19th, 2009Thursday April 11th, 2019 Jean-Michel Muller