Séminaire
|
Date : 29 septembre 2022 15:30 - Salle :Amphi 2 - Pôle commun
Preuves en arithmétique virgule flottanteJean-Michel MULLER, Directeur de Recherche - LIP |
L'arithmétique virgule flottante est souvent vue comme une approximation un peu floue de l'arithmétique réelle. Or, depuis de nombreuses années, elle est complètement spécifiée, ce qui permet de construire des algorithmes rigoureux et d'établir des preuves de leur comportement. Je donnerai quelques exemples illustrant cette approche et ses limites.