D. H. Bailey, Y. Hida, X. S. Li, and B. Thompson, Arprec: An arbitrary precision computation package. Software and documentation available at http
DOI : 10.2172/817634
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.114.952

J. Blanck, Exact Real Arithmetic Systems: Results of Competition, Computability and Complexity in Analysis, pp.389-393, 2001.
DOI : 10.1007/3-540-45335-0_24

M. Daumas and G. Melquiond, Certification of bounds on expressions involving rounded operators, ACM Transactions on Mathematical Software, vol.37, issue.1, pp.1-20, 2010.
DOI : 10.1145/1644001.1644003
URL : https://hal.archives-ouvertes.fr/hal-00127769

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

K. R. Ghazi, V. Lefèvre, P. Théveny, and P. Zimmermann, Why and How to Use Arbitrary Precision, Computing in Science & Engineering, vol.12, issue.3, pp.62-65, 2010.
DOI : 10.1109/MCSE.2010.73
URL : https://hal.archives-ouvertes.fr/inria-00543927

P. Gowland and D. Lester, A Survey of Exact Arithmetic Implementations
DOI : 10.1007/3-540-45335-0_3

N. J. Higham, Accuracy and Stability of Numerical Algorithms. SIAM, second edition, 2002.

V. Kreinovich and S. Rump, Towards Optimal Use of Multi-Precision Arithmetic: A Remark, Reliable Computing, vol.9, issue.6, pp.365-369, 2006.
DOI : 10.1007/s11155-006-9007-4

W. Krämer, A priori worst-case error bounds for floating-point computations, Proceedings 13th IEEE Sympsoium on Computer Arithmetic, pp.750-756, 1998.
DOI : 10.1109/ARITH.1997.614880

W. Krämer and A. Bantle, Automatic Forward Error Analysis for Floating Point Algorithms, Reliable Computing, vol.7, issue.4, pp.321-340, 2001.
DOI : 10.1023/A:1011463324243

N. Müller, The iRRAM: Exact Arithmetic in C++, Computability and Complexity in Analysis, pp.222-252, 2001.
DOI : 10.1007/3-540-45335-0_14

D. Richardson, How to Recognize Zero, Journal of Symbolic Computation, vol.24, issue.6, pp.627-645, 1997.
DOI : 10.1006/jsco.1997.0157

D. M. Smith, Algorithm 786: multiple-precision complex arithmetic and functions, ACM Transactions on Mathematical Software, vol.24, issue.4, pp.359-367, 1998.
DOI : 10.1145/293686.293687

M. Sofroniou and G. Spaletta, Precise numerical computation, The Journal of Logic and Algebraic Programming, vol.64, issue.1, pp.113-134, 2005.
DOI : 10.1016/j.jlap.2004.07.007
URL : http://doi.org/10.1016/j.jlap.2004.07.007

J. Van-der-hoeven, Computations with effective real numbers, Theoretical Computer Science, vol.351, issue.1, pp.52-60, 2006.
DOI : 10.1016/j.tcs.2005.09.060

J. Van-der-hoeven, Effective real numbers in Mmxlib, Proceedings of the 2006 international symposium on Symbolic and algebraic computation , ISSAC '06, pp.138-145, 2006.
DOI : 10.1145/1145768.1145795

I. Centre-de-recherche, ?. Nancy, and L. Est, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès