Keynote


Date : Sept. 29, 2022, 1:30 p.m. - Room :Amphi 2 - Pôle commun

Preuves en arithmétique virgule flottante


Jean-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.