G. Alefeld and J. Herzberger, Introduction to interval analysis, 1983.

F. Fousse, G. Hanrot, V. Lefèvre, P. Pélissier, and P. Zimmermann, MPFR: A Multiple-precision Binary Floating-point Library with Correct Rounding, ACM Trans. Math. Softw, vol.33, issue.2, p.13, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00103655

A. Goldsztejn, Modal Intervals Revisited, Part 1: A Generalized Interval Natural Extension, pp.130-183, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00832813

A. Goldsztejn, Modal Intervals Revisited, Part 2: A Generalized Interval Mean Value Extension, pp.184-209, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00832810

S. Graillat, C. Jeangoudoux, and C. Lauter, MPDI: A Decimal Multiple-Precision Interval Arithmetic Library, pp.38-52, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01451162

E. R. Hansen, Global optimization using interval analysis, Marcel Dekker, 1992.

O. Heimlich, Interval arithmetic in GNU Octave, SWIM 2016: Summer Workshop on Interval Methods, 2016.

, IEEE: Institute of Electrical and Electronic Engineers: 754-1985 -IEEE Standard for Binary Floating-Point Arithmetic, 1985.

, IEEE: Institute of Electrical and Electronic Engineers: 754-2008 -IEEE Standard for Floating-Point Arithmetic, 2008.

, IEEE: Institute of Electrical and Electronic Engineers: 1788-2015 -IEEE Standard for Interval Arithmetic, 2015.

W. Kahan, How Futile are Mindless Assessments of Roundoff in FloatingPoint Computation, 2006.

E. Kaucher, Interval Analysis in the Extended Interval Space IR, Computing Supplementa, vol.2, issue.1, pp.33-49, 1980.

R. B. Kearfott, M. T. Nakao, A. Neumaier, S. M. Rump, S. P. Shary et al., Standardized Notation in Interval Analysis, Computational Technologies, vol.15, issue.1, pp.7-13, 2010.

R. B. Kearfott, An overview of the upcoming IEEE P-1788 working group document: Standard for interval arithmetic, pp.460-465, 2013.

R. E. Moore, Interval analysis, 1966.

R. E. Moore, Methods and applications of interval analysis, SIAM Studies in Applied Mathematics, 1979.

R. E. Moore, R. B. Kearfott, and M. J. Cloud, Introduction to Interval Analysis, SIAM, 2009.

D. Y. Nadezhin and S. I. Zhilin, Jinterval library: Principles, development, and perspectives, Reliable Computing, vol.19, issue.3, pp.229-247, 2014.

M. Nehmeier, libieeep1788: A C++ Implementation of the IEEE interval standard P1788, Norbert Wiener in the 21st Century, pp.1-6, 2014.

A. Neumaier, Interval methods for systems of equations, 1990.

J. Pryce, The Forthcoming IEEE Standard 1788 for Interval Arithmetic, SCAN, vol.9553, pp.23-39, 2015.

D. Ratz, Inclusion Isotone Extended Interval Arithmetic, 1996.

N. Revol, Y. Denneulin, J. Méhaut, and B. Planquelle, Parallelization of continuous verified global optimization, 19th IFIP TC7 Conf. on System Modelling and Optimization, 1999.
URL : https://hal.archives-ouvertes.fr/inria-00545078

N. Revol and F. Rouillier, Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library, Reliable Computing, vol.11, issue.4, pp.275-290, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00100985

N. Revol, Introduction to the IEEE 1788-2015 standard for interval arithmetic, International Workshop on Numerical Software Verification, pp.14-21, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01559955

S. M. Rump, Verification Methods: Rigorous Results using Floating-Point Arithmetic, Acta Numerica, vol.19, pp.287-449, 2010.
DOI : 10.1017/s096249291000005x

T. Sunaga, Geometry of Numerals, 1956.

P. Théveny, Numerical Quality and High Performance In Interval Linear Algebra on Multi-Core Processors, 2014.

W. Tucker, Validated Numerics -A Short Introduction to Rigorous Computations, 2011.