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
Rigorous enclosures of ellipsoids and directed cholesky factorizations URL http, 2009. ,
Constraint propagation on quadratic constraints, Constraints, vol.30, issue.4, pp.404-429, 2010. ,
DOI : 10.1007/s10601-009-9076-1
AN OVERVIEW OF GLOBAL OPTIMIZATION USING INTERVAL ANALYSIS, 1992. ,
DOI : 10.1016/B978-0-12-505630-4.50021-3
Efficient high-order methods for ODEs and DAEs Automatic Differentiation : From Simulation to Optimization, pp.341-351, 2001. ,
A more complete interval arithmetic. Lecture notes for a summer course, Canada, 1968. ,
Fundamentals of Statistical Signal Processing, Volume I: Estimation Theory, 1993. ,
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
Rigorous Global Search: Continuous Problems (Nonconvex Optimization and Its Applications, 2010. ,
An Automatic Method of Solving Discrete Programming Problems, Econometrica, vol.28, issue.3, pp.497-520, 1960. ,
DOI : 10.2307/1910129
Validated solution of ODEs with parametric uncer- tainties ,
An Algorithm for the Traveling Salesman Problem, Operations Research, vol.11, issue.6, pp.972-989, 1963. ,
DOI : 10.1287/opre.11.6.972
Computation of guaranteed enclosures for the solutions of ordinary initial and boundary value-problem, Computational Ordinary Differential Equations, pp.425-435, 1992. ,
Taylor models and other validated functional inclusion methods, International Journal, vol.4, issue.4, pp.379-456, 2003. ,
Bound constrained optimization in the COCONUT environment, 2010. ,
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. ,
Methods for initial value problems for ordinary differential equations, pp.219-264, 2001. ,
Interval Methods for Systems of Equations, 1990. ,
DOI : 10.1017/CBO9780511526473
Complete search in continuous global optimization and constraint satisfaction, Acta Numerica, pp.271-369, 2004. ,
New Computer Methods for Global Optimization, 1988. ,
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
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
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
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
Algorithmic differentiation in the COCONUT environment URL http, 2010. ,
Interval analysis on directed acyclic graphs for global optimization. higher order methods, 2010. ,
Optimal enclosures of derivatives and slopes for univariate functions URL http, 2010. ,
Exclusion regions for optimization problems URL http, 2010. ,
Exclusion Regions for Systems of Equations, SIAM Journal on Numerical Analysis, vol.42, issue.1, pp.383-408, 2004. ,
DOI : 10.1137/S0036142902418898
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
The Krawczyk operator and Kantorovich's theorem, J. Math. Anal. Appl, vol.149, pp.437-443, 1990. ,
Computation of rational interval functions, BIT, vol.11, issue.1, pp.87-95, 1974. ,
DOI : 10.1007/BF01933121
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
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
Identification of Parametric Models from Experimental Data, 1997. ,
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