S. Loosemore and R. M. Stallman, The GNU C Library Reference Manual for version 2

C. Daramy-loirat, D. Defour, and F. De-dinechin, A library of correctly rounded elementary functions in double-precision, user's manual, 2013.

J. Muller, Elementary Functions: Algorithms and Implementation, 1997.
URL : https://hal.archives-ouvertes.fr/ensl-00000008

S. Chevillard, M. Jolde¸sjolde¸s, and C. Lauter, Sollya: An Environment for the Development of Numerical Codes
DOI : 10.1007/978-3-642-15582-6_5
URL : https://hal.archives-ouvertes.fr/hal-00761644

S. Chevillard, . Ch, M. Lauter, and J. , Users manual for the Sollya tool, 2013.

F. De-dinechin, C. Lauter, and G. Melquiond, Certifying the Floating-Point Implementation of an Elementary Function Using Gappa, IEEE Transactions on Computers, vol.60, issue.2, pp.242-253, 2011.
DOI : 10.1109/TC.2010.128
URL : https://hal.archives-ouvertes.fr/ensl-00200830

S. Chevillard, ´ Evaluation efficace de fonctions numériques. Outils et exemples, 2009.

P. T. Tang, Table-driven implementation of the exponential function in IEEE floating-point arithmetic, ACM Transactions on Mathematical Software, vol.15, issue.2, p.211222, 1989.
DOI : 10.1145/63522.214389

. Ch and . Lauter, Arrondi correct de fonctions mathématiques, 2008.

J. R. Schewchuk, Adaptive Precision Floating-Point Arithmetic and Fast Robust Geometric Predicates, Discrete & Computational Geometry, 1997.

F. De-dinechin, D. Defour, . Ch, and . Lauter, Fast correct rounding of elementary functions in double precision using double-extended arithmetic, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00071446