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

S. Boldo, Preuves formelles en arithmétiques à virgule flottante, 2004.

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, RAIRO - Theoretical Informatics and Applications, vol.41, issue.1, pp.85-102, 2007.
DOI : 10.1051/ita:2007003
URL : https://hal.archives-ouvertes.fr/inria-00070331

A. Feldstein and R. Goodman, Convergence Estimates for the Distribution of Trailing Digits, Journal of the ACM, vol.23, issue.2, pp.287-297, 1976.
DOI : 10.1145/321941.321948

L. Fousse, G. Hanrot, V. Lefèvre, P. Pélissier, and P. Zimmermann, MPFR, ACM Transactions on Mathematical Software, vol.33, issue.2, 2007.
DOI : 10.1145/1236463.1236468
URL : https://hal.archives-ouvertes.fr/inria-00070266

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

P. Kornerup, V. Lefèvre, and J. Muller, Computing Integer Powers in Floating-Point Arithmetic, 2007 Conference Record of the Forty-First Asilomar Conference on Signals, Systems and Computers, 2007.
DOI : 10.1109/ACSSC.2007.4487226
URL : https://hal.archives-ouvertes.fr/ensl-00150406

V. Lefèvre, New Results on the Distance between a Segment and Z??. Application to the Exact Rounding, 17th IEEE Symposium on Computer Arithmetic (ARITH'05), pp.68-75, 2005.
DOI : 10.1109/ARITH.2005.32

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

. E. Ch, H. Leiserson, K. H. Prokop, and . Randall, Using de Bru?n sequences to index a 1 in a computer word

M. The and . Team, The MPFR library: Algorithms and proofs. algorithms.tex File -revision 4629) -available in SVN repository from http, 2007.

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

D. Stehlé, V. Lefèvre, and P. Zimmermann, Searching worst cases of a one-variable function using lattice reduction, IEEE Transactions on Computers, vol.54, issue.3, pp.340-346, 2005.
DOI : 10.1109/TC.2005.55

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