Y. Bertot and P. Casteran, Interactive Theorem Proving and Program Development. Coq'Art: the Calculus of Inductive Constructions. Texts in Theoretical Computer Science, 2004.
DOI : 10.1007/978-3-662-07964-5
URL : https://hal.archives-ouvertes.fr/hal-00344237

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

M. Daumas and G. Melquiond, Generating formally certified bounds on values and round-off errors, 6th Conference on Real Numbers and Computers, pp.55-70, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00070739

D. Defour, Cache-optimised methods for the evaluation of elementary functions, 2002.

F. De-dinechin and D. Defour, Software carry-save: A case study for instruction-level parallelism, Seventh International Conference on Parallel Computing Technologies, 2003.

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. Loirat, and J. Muller, A proven correctly rounded logarithm in doubleprecision, RNC6, Real Numbers and Computers, 2004.

D. Defour, Collapsing dependent floating point operations, 2004.

D. Defour and F. De-dinechin, SOFTWARE CARRY-SAVE FOR FAST MULTIPLE-PRECISION ALGORITHMS, Mathematical Software, 2002.
DOI : 10.1142/9789812777171_0004

D. Defour, F. De-dinechin, and J. Muller, Correctly rounded exponential function in double precision arithmetic, Advanced Signal Processing Algorithms, Architectures, and Implementations X (SPIE'2000), 2001.
URL : https://hal.archives-ouvertes.fr/inria-00072387

T. J. Dekker, A floating-point technique for extending the available precision, Numerische Mathematik, vol.5, issue.3, pp.224-242, 1971.
DOI : 10.1007/BF01397083

P. M. Farmwald, High bandwidth evaluation of elementary functions, 1981 IEEE 5th Symposium on Computer Arithmetic (ARITH), 1981.
DOI : 10.1109/ARITH.1981.6159271

S. Gal, Computing elementary functions: A new approach for achieving high accuracy and good performance, Accurate Scientific Computations, pp.1-16, 1986.
DOI : 10.1007/3-540-16798-6_1

D. Goldberg, What every computer scientist should know about floating-point arithmetic, ACM Computing Surveys, vol.23, issue.1, pp.5-47, 1991.
DOI : 10.1145/103162.103163

W. Hofschuster and W. Krämer, FI LIB, eine schnelle und portable Funktionsbibliothek für reelle Argumente und reelle Intervalle im IEEE-double-Format, 1998.

I. Iec, (E) Programming languages ? C, International Standard ISOIEC, vol.9899, p.1999, 1999.

R. Klatte, U. Kulisch, C. Lawo, M. Rauch, and A. Wiethoff, C-XSC a C++ class library for extended scientific computing, 1993.

V. Lefèvre, Moyens arithmétiques pour un calcul fiable, 2000.

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, 2004.
DOI : 10.1109/ARITH.2001.930110

V. Lefèvre, J. M. Muller, and A. Tisserand, Toward correctly rounded transcendentals, IEEE Transactions on Computers, vol.47, issue.11, pp.1235-1243, 1998.
DOI : 10.1109/12.736435

P. Markstein, IA-64 and Elementary Functions: Speed and Precision. Hewlett-Packard Professional Books, 2000.

R. E. Moore, Interval analysis, 1966.

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

P. T. Tang, Table-lookup algorithms for elementary functions and their error analysis, [1991] Proceedings 10th IEEE Symposium on Computer Arithmetic, pp.232-236, 1991.
DOI : 10.1109/ARITH.1991.145565
URL : http://www.osti.gov/scitech/servlets/purl/6133932

W. F. Wong and E. Goto, Fast hardware-based algorithms for elementary function computations using rectangular multipliers, IEEE Transactions on Computers, vol.43, issue.3, pp.278-294, 1994.
DOI : 10.1109/12.272429

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