Nicolas Brisebarre (LaMUSE, Univ. St-Etienne et Arénaire, LIP, ENS Lyon)

L’évaluation des fonctions en machine passe souvent par une phase d’approximation polynomiale. Dans beaucoup d’applications, le principe est d’effectuer le calcul de l’approximant en amont, une seule fois et de l’appeler un grand nombre de fois ensuite. Le problème est que les algorithmes disponibles donnent de très bons approximants mais malheureusement non utilisables en machine car leurs coefficients ne sont pas représentables sur un nombre fini de bits. Dans cet exposé, on présente des techniques pour produire des polynômes qui approchent très bien la fonction visée et dont les coefficients respectent le format (taille en bits par exemple) imposé par l’application visée.

Il s’agit d’un travail commun avec J.-M. Muller (LIP), A. Tisserand (LIRMM) et S. Torres (LIP).