I. Araya, G. Trombettoni, and B. Neveu, Making Adaptive an Interval Constraint Propagation Algorithm Exploiting Monotonicity, Proc. CP, 2010.
DOI : 10.1007/978-3-642-15396-9_8
URL : https://hal.archives-ouvertes.fr/hal-00654414

F. Benhamou, F. Goualard, L. Granvilliers, and J. Puget, Revising Hull and Box Consistency, Proc. ICLP, conf. on logic programming, pp.230-244, 1999.

G. Chabert, Ibex ? An Interval Based EXplorer. www.ibex-lib.org, 2010.

H. Collavizza, F. Delobel, and M. Rueher, Extending Consistent Domains of Numeric CSP, Proc. IJCAI, pp.406-413, 1999.

A. Goldsztejn and F. Goualard, Box consistency through adaptive shaving, Proceedings of the 2010 ACM Symposium on Applied Computing, SAC '10, pp.2049-2054, 2010.
DOI : 10.1145/1774088.1774519
URL : https://hal.archives-ouvertes.fr/hal-00428678

L. Jaulin, Interval constraint propagation with application to bounded-error estimation, Automatica, vol.36, issue.10, pp.1547-1552, 2000.
DOI : 10.1016/S0005-1098(00)00068-6
URL : https://hal.archives-ouvertes.fr/hal-00844895

R. B. Kearfott, Rigorous Global Search: Continuous Problems, 1996.
DOI : 10.1007/978-1-4757-2495-0

J. Merlet, Interval Analysis and Robotics, Symp. of Robotics Research, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00001152

R. E. Moore, Interval Analysis, Englewood Cliffs N.J, 1966.

M. Rueher, A. Goldsztejn, Y. Lebbah, and C. Michel, Capabilities of Constraint Programming in Rigorous Global Optimization, NOLTA, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00481388

W. Tucker, A Rigorous ODE Solver and Smale???s 14th Problem, Foundations of Computational Mathematics, vol.2, issue.1, pp.53-117, 2002.
DOI : 10.1007/s002080010018

P. Van-hentenryck, D. Mcallester, and D. Kapur, Solving Polynomial Systems Using a Branch and Prune Approach, SIAM Journal on Numerical Analysis, vol.34, issue.2, 1997.
DOI : 10.1137/S0036142995281504

P. Van-hentenryck, L. Michel, and Y. Deville, Numerica : A Modeling Language for Global Optimization, 1997.