Vincent Lefebre (LIP, ENS Lyon)

Les implémentations actuelles des fonctions mathématiques usuelles (exp, log, sin…) sont en général peu précises pour de gros arguments ou pour des arguments de certaines formes. Il y a aussi des problèmes concernant la portabilité: l’appel d’une même fonction avec les mêmes arguments qui peut donner, sur des systèmes différents, des résultats très différents. Ceci est dû à un manque de spécifications rigoureuses. Je montrerai qu’il est possible d’exiger que ces fonctions soient “arrondies exactement” (la norme IEEE-754 impose déjà “l’arrondi exact” pour les opérations arithmétiques +, -, *, /, sqrt): si x est un “nombre machine” et f une fonction usuelle, nous voulons renvoyer le nombre machine le plus proche de f(x) (dans le mode d’arrondi au plus près). La difficulté est liée à un problème connu sous le nom du “dilemme du fabricant de tables”, et je montrerai comment le résoudre.