D. H. Bailey, High-precision software directory

H. J. Boehm, Constructive Real Interpretation of numerical Programs, Proceedings of the 1987 ACM conference on Interpreters and Interpretives Techniques, 1987.
DOI : 10.1145/960114.29673

S. Chevillard, M. Joldes¸, J. , and A. C. Lauter, Sollya: An Environment for the Development of Numerical Codes, Mathematical Software -ICMS 2010, pp.28-31, 2010.
DOI : 10.1007/978-3-642-15582-6_5
URL : https://hal.archives-ouvertes.fr/hal-00761644

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

L. Fousse, G. Hanrot, V. Lef-`-evrelef-`-lef-`-evre, P. P. Elissier, and A. P. Zimmermann, MPFR, ACM Transactions on Mathematical Software, vol.33, issue.2, pp.1-1315, 2007.
DOI : 10.1145/1236463.1236468
URL : https://hal.archives-ouvertes.fr/inria-00070266

B. Gosper, Continued Fraction Arithmetic, HAKMEM Item 101B, MIT AI MEMO 239, 1972.

E. Goubault, S. Putot, P. Baufreton, and A. J. Gassino, Static Analysis of the Accuracy in Control Systems: Principles and Experiments, Proceedings of Formal Methods in Industrial Critical Systems, 2007.
DOI : 10.1007/978-3-540-79707-4_3

P. Gowland and D. L. , A Survey of Exact Arithmetic Implementations, In Computability and Complexity in Analysis Lecture Notes in Computer Science, vol.2064, pp.30-47, 2000.
DOI : 10.1007/3-540-45335-0_3

]. S. Graillat, F. J. Ezéquelez´ezéquel, S. Wang, and A. Y. Zhu, Stochastic Arithmetic in Multiprecision, Mathematics in Computer Science, vol.15, issue.1, pp.359-375, 2011.
DOI : 10.1007/s11786-011-0103-4
URL : https://hal.archives-ouvertes.fr/hal-01146506

S. Graillat, P. Langlois, and A. N. Louvet, Accurate and validated polynomial evaluation in floating point arithmetic, Algebraic and Numeric Algorithms and Computer-assisted Proofs no. 5391 in Dagstuhl Seminar, 2005.

D. E. Knuth, The Art of Computer Programming: Seminumerical Algorithms, 1969.

G. Melquiond, S. Pion, A. H. Br¨onnimannbr¨, and . Br¨onnimann, Boost interval arithmetic library
URL : https://hal.archives-ouvertes.fr/inria-00348711

R. E. Moore, R. B. Kearfott, and A. M. Cloud, Introduction to Interval Analysis, 2009.
DOI : 10.1137/1.9780898717716

T. Ogita, S. M. Rump, and A. S. Oishi, Accurate Sum and Dot Product, SIAM Journal on Scientific Computing, vol.26, issue.6, pp.1955-1988, 2005.
DOI : 10.1137/030601818
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.1547

L. Torres and . Quevedo, Ensayos sobre automatica?su defmicion. extension teorica de sus aplicaciones, Fisicas y Naturales, vol.12, pp.391-418, 1913.

G. W. Veltkamp, Algol procedures voor het berekenen van een inwendig product in dubbele precisie, RC- Informatie, vol.22, 1968.

J. Vignes, A stochastic arithmetic for reliable scientific computation, Mathematics and Computers in Simulation, vol.35, issue.3, pp.233-261, 1993.
DOI : 10.1016/0378-4754(93)90003-D

J. Vuillemin, Exact real computer arithmetic with continued fractions, 1987.
DOI : 10.1145/62678.62681
URL : https://hal.archives-ouvertes.fr/inria-00075792