A second-order pruning step for verified global optimization
From MaRDI portal
Publication:839324
DOI10.1007/s10898-008-9331-9zbMath1192.90249OpenAlexW2002372733MaRDI QIDQ839324
Publication date: 2 September 2009
Published in: Journal of Global Optimization (Search for Journal in Brave)
Full work available at URL: https://publikationen.bibliothek.kit.edu/1000007865/246205
Numerical mathematical programming methods (65K05) Nonconvex programming, global optimization (90C26) Derivative-free methods and methods using generalized derivatives (90C56) Algorithms with automatic result verification (65G20)
Related Items
Computing slope enclosures by exploiting a unique point of inflection ⋮ Slope enclosures for functions given by two or more branches
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The automatic computation of second-order slope tuples for some nonsmooth functions
- A comparison of simple tests for accuracy of approximate solutions to nonlinear systems with uncertain data
- On interval enclosures using slope arithmetic
- Slope enclosures for functions given by two or more branches
- Optimal centered forms
- Global optimization using interval analysis - the multi-dimensional case
- Automatic differentiation: techniques and applications
- Interval forms of Newtons method
- Global optimization using interval analysis: The one-dimensional case
- A nonsmooth global optimization technique using slopes: The one-dimensional case
- Rigorous global search: continuous problems
- Use of interval slopes for the irrational part of factorable functions
- Slope intervals, generalized gradients, semigradients, slant derivatives, and csets
- A comparison of the Moore and Miranda existence tests
- Computing slope enclosures by exploiting a unique point of inflection
- A multidimensional branch-and-prune method for interval global optimization
- A new inclusion function for optimization: kite -- the one-dimensional case
- Interval Slopes for Rational Functions and Associated Centered Forms
- Optimization and nonsmooth analysis
- Testing Unconstrained Optimization Software
- A Test for Existence of Solutions to Nonlinear Systems
- A Branch-and-Prune Method for Global Optimization
- Expansion and estimation of the range of nonlinear functions
- The SIAM 100-Digit Challenge
- Computation of rational interval functions
- Global optimization