Preuves formelles en arithmétiques `a virgule flottante - ENS de Lyon
Devant la commission d'examen formée de : ... Merci aussi pour m'avoir proposé
ce fantastique sujet de th`ese qui me fait manipuler des bits but also ...... Comme
dans les normes, les nombres flottants (i.e. paires d'entiers) sont
automatiquement .... La projection vers ?? isMin de r est un nombre flottant
représentable g tel.