. Cr-libm,

. Ansi/ieee, Standard 754-1985 for binary floating-point arithmetic, 1985.

M. Daumas and C. Moreau-finot, Exponential: implementation trade-offs for hundred bit precision, Real Numbers and Computers, pp.61-74, 2000.

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

F. De-dinechin, C. Loirat, and J. Muller, A proven correctly rounded logarithm in double-precision, Real Numbers and Computers, 2004.

D. Defour and F. De-dinechin, Software carry-save for fast multiple-precision algorithms, 35th International Congress of Mathematical Software, 2002.
URL : https://hal.archives-ouvertes.fr/hal-02102038

D. Defour, G. Hanrot, V. Lefèvre, J. Muller, N. Revol et al., Proposal for a standardization of mathematical functions, Numerical algorihms, 2004.

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

P. M. Farmwald, High bandwidth evaluation of elementary functions, Proceedings of the 5th IEEE Symposium on Computer Arithmetic, 1981.

S. , Computing elementary functions: A new approach for achieving high accuracy and good performance, Accurate Scientific Computations, vol.235, pp.1-16

J. Harrison, T. Kubaska, S. Story, and P. T. Tang, The computation of transcendental functions on the IA-64 architecture, Intel Technology Journal, vol.4, 1999.

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

D. Knuth, The Art of Computer Programming, vol.2, 1973.

V. Lefèvre and J. Muller, Worst cases for correct rounding of the elementary functions in double precision, 2004.

R. Li, P. Markstein, J. P. Okada, and J. W. Thomas, The libm library and floatingpoint arithmetic for HP-UX on Itanium, 2001.

. Ibm-accurate-portable and . Mathlib,

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

P. Markstein, A fast quad precision elementary function library for Itanium, Real Numbers and Computers, pp.5-12, 2003.

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-driven implementation of the exponential function in IEEE floatingpoint arithmetic, ACM Transactions on Mathematical Software, vol.15, issue.2, pp.144-157, 1989.

P. T. Tang, Table lookup algorithms for elementary functions and their error analysis, Proceedings of the 10th IEEE Symposium on Computer Arithmetic, pp.232-236, 1991.

. Unité-de-recherche-inria-futurs, Parc Club Orsay Université -ZAC des Vignes 4, rue Jacques Monod -91893 ORSAY Cedex

. Unité-de-recherche-inria-lorraine, LORIA, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602