C. Batut, K. Belabas, D. Bernardi, H. Cohen, and M. Olivier, User's Guide to PARI, 2000.

R. P. Brent, A Fortran Multiple-Precision Arithmetic Package, ACM Transactions on Mathematical Software, vol.4, issue.1, pp.57-70, 1978.
DOI : 10.1145/355769.355775

W. D. Clinger, How to read floating point numbers accurately, Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation, pp.92-101, 1990.
DOI : 10.1145/93542.93557
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.164.813

E. George, W. Collins, and . Krandick, Multiprecision floating point addition, Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation (ISSAC'2000), pp.71-77, 2000.

M. Cowlishaw, The decNumber package, 2005.

A. Cuyt, P. Kuterna, B. Verdonk, and J. Vervloet, Arithmos: a reliable integrated computational environment, 2001.

F. De-dinechin 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

D. Defour, G. Hanrot, V. Lefèvre, J. Muller, N. Revol et al., Proposal for a Standardization of Mathematical Function Implementation in Floating-Point Arithmetic, Numerical Algorithms, vol.37, issue.1-4, pp.367-3751017, 2004.
DOI : 10.1023/B:NUMA.0000049482.38935.0b
URL : https://hal.archives-ouvertes.fr/inria-00071249

M. David and . Gay, Correctly rounded binary-decimal and decimal-binary conversions . Numerical Analysis Manuscript 90-10, 1990.

T. Granlund, . Gnu, and . Mp, The GNU Multiple Precision Arithmetic Library, 4.1.4 edition, 2004.

M. Hack, On intermediate precision required for correctly-rounding decimal-to-binary floating-point conversion, Proceedings of Real Numbers and Computers (RNC'6), Schloss Dagstuhl, 2004.

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

B. Haible and R. Kreckel, CLN, a class library for numbers, 2005.

G. Hanrot, V. Lefèvre, P. Pélissier, and P. Zimmermann, The MPFR library

W. Kahan, Lecture notes on the status of IEEE standard 754 for binary floating-point arithmetic, 1996.

W. Krandick and J. R. Johnson, Efficient multiprecision floating point multiplication with optimal directional rounding, Proceedings of IEEE 11th Symposium on Computer Arithmetic, 1993.
DOI : 10.1109/ARITH.1993.378088

V. Lefèvre, The generic multiple-precision floating-point addition with exact rounding (as in the MPFR library), Proc. 6th Conference on Real Numbers and Computers, 2004.

T. Mulders, On Short Multiplications and Divisions, Applicable Algebra in Engineering, Communication and Computing, vol.11, issue.1, pp.69-88, 2000.
DOI : 10.1007/s002000000037
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.416.214

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

N. Th and . Müller, Towards a real RealRAM: a prototype using C++, Proc. 6th International Conference on Numerical Analysis, 1997.

P. Nguyen and D. Stehlé, Floating-Point LLL Revisited, Proceedings of Eurocrypt 2005, pp.215-233, 2005.
DOI : 10.1007/11426639_13
URL : https://hal.archives-ouvertes.fr/inria-00000377

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

N. Revol and F. Rouillier, MPFI, a multiple precision interval arithmetic library based on MPFR, 2001.

V. Shoup, NTL: A library for doing number theory, 2004.

M. David and . Smith, Algorithm 693. a Fortran package for floating-point multiple-precision arithmetic, ACM Transactions on Mathematical Software, vol.17, issue.2, pp.273-283, 1991.

M. Sofroniou and G. Spaletta, Precise numerical computation Journal of Logic and Algebraic Programming. Special Issue on Practical Development of Exact Real Number Computation, pp.113-134, 2005.

G. L. Steele and J. L. White, How to print floating-point numbers accurately, Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation, pp.112-126, 1990.

L. Guy, J. L. Steele, and . White, How to print floating-point numbers accurately, 20 Years of the ACM/SIGPLAN Conference on Programming Language Design and Implementation Selection, 1979.

B. Verdonk, A. Cuyt, and D. Verschaeren, A precision- and range-independent tool for testing floating-point arithmetric I: basic operations, square root, and remainder, ACM Transactions on Mathematical Software, vol.27, issue.1, pp.92-118, 2001.
DOI : 10.1145/382043.382404

S. Wolfram, The Mathematica Book, 1996.

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

L. Unité-de-recherche-inria-lorraine, 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

I. Unité-de-recherche and . 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, 2004.

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