G. and G. Multiple, Precision library

O. Aberth and M. J. Schaefer, Precise computation using range arithmetic, via C++, ACM Transactions on Mathematical Software, vol.18, issue.4, pp.481-491, 1992.
DOI : 10.1145/138351.138377

O. Aberth, Precise numerical methods using C++, 1998.

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

Y. Akyildiz, E. D. Popova, and C. P. Ullrich, Towards a more complete interval arithmetic in Mathematica, Proceedings of the Second International Mathematica Symposium, pp.29-36, 1997.

H. Brass and K. Förster, On the Application of the Peano Representation of Linear Functionals in Numerical Analysis, In: Recent progress in inequalities Math. Appl, vol.430, pp.175-202, 1996.
DOI : 10.1007/978-94-015-9086-0_10

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

A. E. Connell and R. M. Corless, An experimental interval arithmetic package in Maple, Num. Analysis with Automatic Result Verification, 1993.

G. Corliss, intpak for Interval Arithmetic in Maple, Journal of Symbolic Computation, issue.11, 1994.

D. Daney, G. Hanrot, V. Lefèvre, F. Rouillier, and P. Zimmermann, The MPFR library, 2001.

I. Geulig and W. Krämer, Intervallrechnung in Maple -Die Erweiterung intpakX zum Paket intpak der Share-Library, 1999.

M. Grimmer, Interval Arithmetic in Maple with intpakX, PAMM, vol.2, issue.1, pp.442-443, 2003.
DOI : 10.1002/pamm.200310205

E. Hansen, AN OVERVIEW OF GLOBAL OPTIMIZATION USING INTERVAL ANALYSIS, 1992.
DOI : 10.1016/B978-0-12-505630-4.50021-3

E. Hansen and R. I. Greenberg, An interval Newton method, Applied Mathematics and Computation, vol.12, issue.2-3, pp.89-98, 1983.
DOI : 10.1016/0096-3003(83)90001-2
URL : http://ecommons.luc.edu/cs_facpubs/91

T. Hickey, Q. Ju, and M. Van-emden, Interval arithmetic: From principles to implementation, Journal of the ACM, vol.48, issue.5, 2002.
DOI : 10.1145/502102.502106
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.217.213

N. Higham, Accuracy and stability of numerical algorithms, 2002.
DOI : 10.1137/1.9780898718027

R. B. Kearfott, Rigorous global search: continuous problems, 1996.
DOI : 10.1007/978-1-4757-2495-0

R. B. Kearfott and G. W. Walster, On stopping criteria in verified nonlinear systems or optimization algorithms, ACM Transactions on Mathematical Software, vol.26, issue.3, pp.373-389, 2000.
DOI : 10.1145/358407.358418

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

W. Krämer, U. Kulisch, and R. Lohner, Numerical toolbox for verified computing II ? Advanced Numerical Problems, 1998.

W. Krämer, Mehrfachgenaue reelle und intervallmässige Staggered-Correction Arithmetik mit zugehörigen Standardfunktionen, Report of the Institut für Angewandte Mathematik, 1988.

U. Kulisch, Advanced Arithmetic for the Digital Computer, Design of Arithmetic Units, Electronic Notes in Theoretical Computer Science, vol.24, 2002.
DOI : 10.1016/S1571-0661(05)80622-X

M. Lerch, G. Tischler, J. Wolff-von-gudenberg, W. Hofschuster, and W. Krämer, The interval library filib++ 2.0, 2001.

R. Maeder, The Mathematica Programmer: Interval Plotting and Global Optimization, The Mathematica Journal, vol.7, issue.3, pp.279-290, 1999.

K. Petras, Numerical Computation of an Integral Representation for Arithmetic-Average Asian Options, Computing, vol.73, issue.1
DOI : 10.1007/s00607-004-0066-2

K. Petras, A Method for Calculating the Complex Complementary Error Function with Prescribed Accuracy

N. Revol and F. Rouillier, The MPFI library, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00544998

N. Revol and F. Rouillier, Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library, Reliable Computing, vol.2, issue.3, 2003.
DOI : 10.1007/s11155-005-6891-y
URL : https://hal.archives-ouvertes.fr/inria-00544998

F. Rouillier and P. Zimmermann, Efficient isolation of polynomial real roots. To appear in, J. of Computational and Applied Math, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00099941

S. M. Rump, Solving algebraic problems with high accuraccy A new approach to scientific computation, Proceedings of a symposium held at the IBM Research Center, pp.51-120, 1982.

S. Rump, Developments in reliable computing, T. Csendes ed., chapter, Kluwer, pp.77-104, 1999.

S. Rump, Fast and parallel interval arithmetic, Bit Numerical Mathematics, vol.39, issue.3, pp.534-554, 1999.
DOI : 10.1023/A:1022374804152

M. Schröder, The Laplace transform approach to valuing exotic options: the case of the Asian option, Mathematical finance, Trends Math., Birkhäuser, pp.328-338, 2001.
DOI : 10.1007/978-3-0348-8291-0_31

J. M. Yohe, Portable Software for Interval Arithmetic, Computing, vol.2, pp.211-229, 1980.
DOI : 10.1007/978-3-7091-8577-3_15