H. Brönnimann, G. Melquiond, and S. Pion, The design of the Boost interval arithmetic library Accepted for publication in Theoretical Computer Science , Special Issue on Real Numbers and Computers (RNC5) Preprint available at http

H. Brönnimann, G. Melquiond, and S. Pion, The Boost interval arithmetic library, htm [4] [CGAL] CGAL. Computational Geometry Algorithms Library

T. Hickey, Q. Ju, and M. H. Van-emden, Interval arithmetic: From principles to implementation, Journal of the ACM, vol.48, issue.5, pp.1038-1068, 2001.
DOI : 10.1145/502102.502106

L. Jaulin, M. Kieffer, O. Didrit, and E. Walter, Applied Interval Analysis, with Examples in Parameter and State Estimation, Robust Control and Robotics, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00845131

R. E. Moore, Interval Analysis, 1966.

N. Revol and F. Rouillier, MPFI 1.0, Multiple Precision Floating-Point Interval Library. http://www.ens-lyon.fr/~nrevol/mpfi_toc.html [13] Gaol, Not Just Another Interval Library. http://www.sourceforge.net/projects/gaol, Sun Microsystems. C++ Interval Arithmetic Programming Reference, vol.14, pp.806-7998

G. and W. Walster, The Extended Real Interval System. Manuscript Preprint available at http://www.mscs.mu.edu/~globsol/walster-papers.html INRIA Unité de recherche INRIA Sophia Antipolis, route des Lucioles -BP 93 -06902 Sophia Antipolis Cedex (France) Unité de recherche INRIA Futurs : Parc Club Orsay Université -ZAC des Vignes 4, rue Jacques Monod -91893 ORSAY Cedex, 1998.

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

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