R. Byrd, P. Lu, J. Nocedal, and C. Zhu, A Limited Memory Algorithm for Bound Constrained Optimization, SIAM Journal on Scientific Computing, vol.16, issue.5, pp.1190-1208, 1995.
DOI : 10.1137/0916069

F. Domes and A. Neumaier, Rigorous enclosures of ellipsoids and directed cholesky factorizations URL http, 2009.

F. Domes and A. Neumaier, Constraint propagation on quadratic constraints, Constraints, vol.30, issue.4, pp.404-429, 2010.
DOI : 10.1007/s10601-009-9076-1

E. R. Hansen, AN OVERVIEW OF GLOBAL OPTIMIZATION USING INTERVAL ANALYSIS, 1992.
DOI : 10.1016/B978-0-12-505630-4.50021-3

J. Hoefkens, M. Berz, and K. Makino, Efficient high-order methods for ODEs and DAEs Automatic Differentiation : From Simulation to Optimization, pp.341-351, 2001.

W. Kahan, A more complete interval arithmetic. Lecture notes for a summer course, Canada, 1968.

S. M. Kay, Fundamentals of Statistical Signal Processing, Volume I: Estimation Theory, 1993.

R. B. Kearfott, Algorithm 737; INTLIB: a portable Fortran 77 interval standard-function library, ACM Transactions on Mathematical Software, vol.20, issue.4, pp.447-459, 1994.
DOI : 10.1145/198429.198433

R. B. Kearfott, Rigorous Global Search: Continuous Problems (Nonconvex Optimization and Its Applications, 2010.

A. H. Land and A. G. Doig, An Automatic Method of Solving Discrete Programming Problems, Econometrica, vol.28, issue.3, pp.497-520, 1960.
DOI : 10.2307/1910129

Y. Lin and M. A. Stadtherr, Validated solution of ODEs with parametric uncer- tainties

J. D. Little, K. C. Murty, D. W. Sweeney, and C. Karel, An Algorithm for the Traveling Salesman Problem, Operations Research, vol.11, issue.6, pp.972-989, 1963.
DOI : 10.1287/opre.11.6.972

R. Lohner, Computation of guaranteed enclosures for the solutions of ordinary initial and boundary value-problem, Computational Ordinary Differential Equations, pp.425-435, 1992.

K. Makino and M. Berz, Taylor models and other validated functional inclusion methods, International Journal, vol.4, issue.4, pp.379-456, 2003.

M. C. Markót and H. Schichl, Bound constrained optimization in the COCONUT environment, 2010.

R. E. Moore, Interval arithmetic and automatic error analysis in digital computing URL http://interval.louisiana.edu/Moores early papers/disert.pdf 19. Müller, M.: ¨ Uber das Fundamentaltheorem in der Theorie der gewöhnlichen Differentialgleichungen, Math. Z, vol.26, pp.619-645, 1926.

N. S. Nedialkov and K. R. Jackson, Methods for initial value problems for ordinary differential equations, pp.219-264, 2001.

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

A. Neumaier, Complete search in continuous global optimization and constraint satisfaction, Acta Numerica, pp.271-369, 2004.

H. Ratschek and J. Rokne, New Computer Methods for Global Optimization, 1988.

D. Ratz and T. Csendes, On the selection of subdivision directions in interval branch-and-bound methods for global optimization, Journal of Global Optimization, vol.4, issue.2, pp.183-207, 1995.
DOI : 10.1007/BF01097060

A. Rauh, E. Auer, J. Minisini, and E. P. Hofer, Extensions of ValEncIA-IVP for reduction of overestimation, for simulation of differential algebraic systems, and for dynamical optimization, PAMM, vol.7, issue.1, p.2, 2007.
DOI : 10.1002/pamm.200700022

A. Rauh, E. P. Hofer, and E. Auer, VALENCIA-IVP: A Comparison with Other Initial Value Problem Solvers, 12th GAMM, IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006), p.3647, 2006.
DOI : 10.1109/SCAN.2006.47

H. Schichl, Global Optimization in the COCONUT Project, Lecture Notes in Comput. Sci, vol.2991, pp.277-293, 2004.
DOI : 10.1007/978-3-540-24738-8_14

H. Schichl and M. C. Markót, Algorithmic differentiation in the COCONUT environment URL http, 2010.

H. Schichl and M. C. Markót, Interval analysis on directed acyclic graphs for global optimization. higher order methods, 2010.

H. Schichl and M. C. Markót, Optimal enclosures of derivatives and slopes for univariate functions URL http, 2010.

H. Schichl, M. C. Markót, and A. Neumaier, Exclusion regions for optimization problems URL http, 2010.

H. Schichl and A. Neumaier, Exclusion Regions for Systems of Equations, SIAM Journal on Numerical Analysis, vol.42, issue.1, pp.383-408, 2004.
DOI : 10.1137/S0036142902418898

H. Schichl and A. Neumaier, Interval Analysis on Directed Acyclic Graphs for Global Optimization, Journal of Global Optimization, vol.149, issue.1&2, pp.541-562, 2006.
DOI : 10.1007/s10898-005-0937-x

Z. Shen and A. Neumaier, The Krawczyk operator and Kantorovich's theorem, J. Math. Anal. Appl, vol.149, pp.437-443, 1990.

S. Skelboe, Computation of rational interval functions, BIT, vol.11, issue.1, pp.87-95, 1974.
DOI : 10.1007/BF01933121

X. H. Vu, H. Schichl, and D. Sam-haroud, Using directed acyclic graphs to coordinate propagation and search for numerical constraint satisfaction problems, 16th IEEE International Conference on Tools with Artificial Intelligence, 2004.
DOI : 10.1109/ICTAI.2004.118

E. Walter and M. Kieffer, Guaranteed Optimization of the Parameters of Continuous-Time Knowledge-Based Models, Positive Systems, LNCIS, vol.341, pp.137-144, 2006.
DOI : 10.1007/3-540-34774-7_18

E. Walter and L. Pronzato, Identification of Parametric Models from Experimental Data, 1997.

M. A. Wolfe, Interval methods for global optimization, Applied Mathematics and Computation, vol.75, issue.2-3, pp.179-206, 1996.
DOI : 10.1016/0096-3003(96)90061-2