Rigorous global search: continuous problems. Nonconvex optimization and its applications, 1996. ,
Intervalliterationen zur Einschlie??ung einer L??sungsmenge, Computing, vol.18, issue.10, pp.13-31, 1984. ,
DOI : 10.1007/BF02243016
Introduction to Interval Analysis, Society for Industrial and Applied Mathematics, 2009. ,
Fast polynomial evaluation and composition Inria Nancy -Grand Est (Villers-l` es, 2013. ,
Mean value and taylor forms in interval analysis, SIAM Journal on Mathematical Analysis, vol.14, issue.2, pp.223-238, 1983. ,
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
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
Interval Methods for Bounding the Range of Polynomials and Solving Systems of Nonlinear Equations, 1995. ,