R. Bellman, Dynamic Programming, 1957.

F. Benhamou, D. Mcallester, and P. Van-hentenryck, CLP(intervals) revisited, International Symposium on Logic programming, pp.124-138, 1994.

T. H. Cormen, C. E. Leiserson, and R. L. Rivest, Introduction to Algorithms, 1990.

J. Garloff, C. Jansson, and A. P. Smith, Lower bound functions for polynomials, Journal of Computational and Applied Mathematics, vol.157, issue.1, pp.207-225, 2003.
DOI : 10.1016/S0377-0427(03)00422-9

L. Jaulin, M. Kieffer, O. Didrit, and E. Walter, Applied Interval Analysis, 2001.
DOI : 10.1007/978-1-4471-0249-6
URL : https://hal.archives-ouvertes.fr/hal-00845131

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

K. Makino and M. Berz, Taylor Models and Other Validated Functional Inclusion Methods, International Journal of Pure and Applied Mathematics, vol.4, issue.4, pp.379-456, 2003.

R. Moore, Interval Analysis, 1966.

A. Neumaier, Interval Methods for Systems of Equations, 1990.
DOI : 10.1017/CBO9780511526473

H. Ratschek and J. Rokne, Computer Methods for the Range of Functions, 1984.

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-00100985

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