A second-order pruning step for verified global optimization

DOI10.1007/s10898-008-9331-9zbMath1192.90249OpenAlexW2002372733MaRDI QIDQ839324

Marco Schnurr

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

Mathematics Subject Classification ID

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

• INTOPT_90
• minpack
• PASCAL-XSC

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