Description:Directeur de th`ese. Nicolas Louvet. Maıtre de conférences, Université Lyon 1 Co
-encadrant 1.2 The IEEE-754-2008 standard . 4.6 The different cases for
Algorithm 6, when ˜y is a faithful rounding of a b . 94 . Introduction. Finite
precision floating-point numbers are widely used for approxi