Résumé:
Suite a ma visite a Nancy, les developpeurs de la librairie
MPFR sont vivement interesses par automatiser les calculs d'erreurs
sur les operations effectuees en nombres flottants. Ces calculs
d'erreurs correspondent en fait a donner une majoration de l'erreur
en termes d'ulp du dernier calcul.
Je vous propose de rappeler "proprement" la notion d'ulp pour un nombre flottant, d'effectuer le calcul d'erreur de quelques operations afin de voir quels sont les problemes. Et pour terminer de "tenter" de vous expliquer comment ils sont utilises dans MPFR.
Retour au sommaire / Back to schedule