R. Baker and . Kearfott, Rigorous global search: continuous problems. Nonconvex optimization and its applications, 1996.

R. Krawczyk, Intervalliterationen zur Einschlie??ung einer L??sungsmenge, Computing, vol.18, issue.10, pp.13-31, 1984.
DOI : 10.1007/BF02243016

E. Ramon, . Moore, . Baker-kearfott, J. Michael, and . Cloud, Introduction to Interval Analysis, Society for Industrial and Applied Mathematics, 2009.

G. Moroz, Fast polynomial evaluation and composition Inria Nancy -Grand Est (Villers-l` es, 2013.

B. Louis and . Rall, Mean value and taylor forms in interval analysis, SIAM Journal on Mathematical Analysis, vol.14, issue.2, pp.223-238, 1983.

N. Revol and F. Rouillier, Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library, Reliable Computing, vol.2, issue.3, pp.275-290, 2005.
DOI : 10.1007/s11155-005-6891-y

URL : https://hal.archives-ouvertes.fr/inria-00544998

S. M. Rump, SOLVING ALGEBRAIC PROBLEMS WITH HIGH ACCURACY, Proc. of the symposium on A new approach to scientific computation, pp.51-120, 1983.
DOI : 10.1016/B978-0-12-428660-3.50010-0

V. Stahl, Interval Methods for Bounding the Range of Polynomials and Solving Systems of Nonlinear Equations, 1995.