A. Ieee, Standard 754-1985 for binary floating-point arithmetic, 1985.

M. Cornea, J. Harrison, and P. T. Tang, Scientific Computing on Itanium-based Systems, 2002.

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

F. De-dinechin, A. Ershov, and N. Gast, Towards the Post-Ultimate libm, 17th IEEE Symposium on Computer Arithmetic (ARITH'05), 2005.
DOI : 10.1109/ARITH.2005.46

URL : https://hal.archives-ouvertes.fr/inria-00070636

F. De-dinechin, C. Q. Lauter, and J. Muller, Fast and correctly rounded logarithms in double-precision, Theoretical Informatics and Applications, 2006.
DOI : 10.1051/ita:2007003

URL : https://hal.archives-ouvertes.fr/inria-00070331

J. Theodorus and . Dekker, A floating point technique for extending the available precision, Numerische Mathematik, vol.18, issue.3, pp.224-242, 1971.

S. Gal and B. Bachelis, An accurate elementary mathematical library for the IEEE floating point standard, ACM Transactions on Mathematical Software, vol.17, issue.1, pp.26-45, 1991.
DOI : 10.1145/103147.103151

G. H. Hardy and E. M. Wright, An introduction to the theory of numbers, Bulletin of the American Mathematical Society, vol.35, issue.6, 1979.
DOI : 10.1090/S0002-9904-1929-04793-1

V. Lefèvre and J. Muller, Worst cases for correct rounding of the elementary functions in double precision, Proceedings 15th IEEE Symposium on Computer Arithmetic. ARITH-15 2001, pp.111-118, 2001.
DOI : 10.1109/ARITH.2001.930110

V. Lefèvre, J. Muller, and A. Tisserand, The table maker's dilemma, 1998.

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

Y. V. Nesterenko and M. Waldschmidt, On the approximation of values of exponential and logarithm by algebraic numbers (in russian), Math. Zapiski, issue.2, pp.23-42, 1996.

D. Stehlé, V. Lefèvre, and P. Zimmermann, Worst cases and lattice reduction, 16th IEEE Symposium on Computer Arithmetic, 2003. Proceedings., pp.142-147, 2003.
DOI : 10.1109/ARITH.2003.1207672

A. Ziv, Fast evaluation of elementary mathematical functions with correctly rounded last bit, ACM Transactions on Mathematical Software, vol.17, issue.3, pp.410-423, 1991.
DOI : 10.1145/114697.116813