CR-LIBM: The evaluation of the exponential

We present a new elementary function library, called CR-LIBM. This library implements the various functions defined by the Ansi99 C standard. It provides correctly rounded functions. When writing this library, our primarily goal was to certify correct rounding, and make it reasonably fast, and with a low utilisation of memory. Hence, our library can be used without any problem on real-scale problems. We are also giving the proof and the elements to understand the implementation of the exponential function of CR-LIBM.Nous présentons une nouvelle bibliothèque d’évaluation de fonctions élémentaires, appelée CR-LIBM. Cette bibliothèque implémente les différentes fonctions définies par le standard Ansi C99. Sa principale caractéristique est de fournir l’arrondi correct pour la double précision et les quatre modes d’arrondi. Lors de l’écriture de cette bibliothèque, nos principaux objectifs étaient de certifier l’arrondi correct en ne dégradant pas les performances, et en li-mitant l’utilisation de mémoire. De ce fait, les fonctions de notre bibliothèque peuvent être utilisées sans problèmes dans des applications réelles.Nous donnons également pour l’implémentation de l’exponentielle, la preuve pour certifier l’arrondi correct, et les éléments nécessaires pour comprendre les choix faits