Retour à l'index du GREYC

Séminaire Algorithmique

Site du CNRS

Séminaire Algorithmique

Le séminaire a lieu le mardi à 11 h 45 (sauf modification exceptionnelle), au campus Côte de Nacre, bâtiment Sciences 3, salle S3 351, 3ème étage.

Résumé du séminaire du Mardi 30 Mars 1999

Un résultat faux tout de suite ou correct trop tard ?

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

GREYC
Campus Côte de Nacre, boulevard du Maréchal Juin
BP 5186
14032 Caen Cedex
FAX : +33 (0)2 31 56 73 30
http://www.greyc.fr