M. Abramowitz and I. A. Stegun, Handbook of Mathematical Functions, American Journal of Physics, vol.34, issue.2, 1973.
DOI : 10.1119/1.1972842

D. N. Arnold, Some disasters attributable to bad numerical computing, 1998.

J. Bajard, S. Kla, and J. Muller, BKM: a new hardware algorithm for complex elementary functions, IEEE Transactions on Computers, vol.43, issue.8, pp.955-963, 1994.
DOI : 10.1109/12.295857
URL : https://hal.archives-ouvertes.fr/ensl-00086894

A. Baker, Transcendental Number Theory, 1975.
DOI : 10.1017/CBO9780511565977

S. Boldo and M. Daumas, Properties of the subtraction valid for any floating point system, 7th International Workshop on Formal Methods for Industrial Critical Systems, pp.137-149, 2002.
DOI : 10.1016/S1571-0661(04)80408-0
URL : https://hal.archives-ouvertes.fr/inria-00072115

J. M. Borwein and P. B. Borwein, The Arithmetic-Geometric Mean and Fast Computation of Elementary Functions, SIAM Review, vol.26, issue.3, pp.351-366, 1984.
DOI : 10.1137/1026073

R. P. Brent, MULTIPLE-PRECISION ZERO-FINDING METHODS AND THE COMPLEXITY OF ELEMENTARY FUNCTION EVALUATION, Analytic Computational Complexity, pp.151-176, 1975.
DOI : 10.1016/B978-0-12-697560-4.50014-9

R. P. Brent, The complexity of multiple-precision arithmetic, The Complexity of Computational Problem Solving, pp.126-165, 1976.

R. P. Brent and H. Kung, Fast Algorithms for Manipulating Formal Power Series, Journal of the ACM, vol.25, issue.4, pp.581-595, 1978.
DOI : 10.1145/322092.322099

D. V. Chudnovsky, C. , and G. , Computer algebra in the service of mathematical physics and number theory, Computers in mathematics, pp.109-232, 1986.

M. Daumas, Multiplications of floating point expansions, Proceedings 14th IEEE Symposium on Computer Arithmetic (Cat. No.99CB36336), pp.250-257, 1999.
DOI : 10.1109/ARITH.1999.762851

M. Daumas and C. Finot, Algorithm, proof and performances of a new division of floating-point expansions, Institut National de Recherche en Informatique et en Automatique, 1999.
URL : https://hal.archives-ouvertes.fr/inria-00072890

M. Daumas and C. Finot, Division of floating point expansions with an application to the computation of a determinant, Journal of Universal Computer Science, vol.5, issue.6, pp.323-338, 1999.

M. Daumas, L. Rideau, and L. Théry, A Generic Library for Floating-Point Numbers and Its Application to Exact Computing, Theorem Proving in Higher Order Logics : 14th International Conference no. 2152 in LNCS, 2001.
DOI : 10.1007/3-540-44755-5_13
URL : https://hal.archives-ouvertes.fr/hal-00157285

D. Defour, FonctionsélémentairesFonctionsélémentaires : algorithmes et implémentations efficaces pour l'arrondi correct en double précision, Thèse de doctorat, 2003.

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

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

C. Finot-moreau, Preuves et algorithmes utilisant l'arithmétique flottante normalisée IEEE, Thèse de doctorat, 2001.

B. Haible and T. Papanikolaou, Fast multiprecision evaluation of series of rational numbers, 1997.
DOI : 10.1007/BFb0054873

G. Hanrot, M. Quercia, and P. Zimmermann, Speeding up the division and square root of power series, Institut National de Recherche en Informatique et en Automatique, 2000.
URL : https://hal.archives-ouvertes.fr/inria-00072675

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

P. Kornerup and J. Muller, Choosing starting values for Newton-Raphson computation of reciprocals , square-roots and square-root reciprocals, Institut National de Recherche en Informatique et en Automatique, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00071899

V. Lefèvre, An Algorithm that Computes a Lower Bound on the Distance Between a Segment and ???2, 1997.
DOI : 10.1007/978-94-017-1247-7_16

J. Muller, Algorithmes de division pour microprocesseurs : illustrationàillustration`illustrationà l'aide du « bug » du Pentium, Technique et Science Informatiques, vol.14, issue.8, pp.1995-2001, 1995.

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

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

K. C. Ng, Argument reduction for huge arguments : Good to the last bits Can be obtained by sending an e-mail to the author, 1992.

D. M. Priest, Algorithms for arbitrary precision floating point arithmetic, [1991] Proceedings 10th IEEE Symposium on Computer Arithmetic, pp.132-144, 1991.
DOI : 10.1109/ARITH.1991.145549

P. Arénaire, The software carry-save multiple-precision library

E. Remez, Sur un procédé convergent d'approximations successives pour déterminer les polynômes d'approximation. Comptes-rendus de l, Académie des Sciences, p.198, 1934.

J. R. Shewchuk, Adaptive precision floating-point arithmetic and fast robust geometric predicates, Discrete and Computational Geometry, pp.305-363, 1997.

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

I. Unité-de-recherche-inria-lorraine and L. Technopôle-de-nancy, Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Futurs : Parc Club Orsay Université -ZAC des Vignes 4, rue Jacques Monod -91893 ORSAY Cedex (France) Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Unité de recherche INRIA Rocquencourt, Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex (France) Unité de recherche INRIA Sophia Antipolis : 2004, route des Lucioles -BP 93 -06902 Sophia Antipolis Cedex

I. De-voluceau-rocquencourt, BP 105 -78153 Le Chesnay Cedex (France) http://www.inria.fr ISSN, pp.249-6399