A second-order pruning step for verified global optimization
type: Item
instance of: scholarly article
title: A second-order pruning step for verified global optimization
zbMATH Open document ID: 1192.90249
author: Marco Schnurr
published in: Journal of Global Optimization
publication date: 2009-09-02T00:00:00Z
full work available at URL: https://publikationen.bibliothek.kit.edu/1000007865/246205
Mathematics Subject Classification ID: 90C56
Mathematics Subject Classification ID: 65G20
Mathematics Subject Classification ID: 65K05
Mathematics Subject Classification ID: 90C26
zbMATH DE Number: 5601343
describes a project that uses: PASCAL-XSC
describes a project that uses: INTOPT_90
describes a project that uses: minpack
MaRDI profile type: Publication
OpenAlex ID: W2002372733
cites work: Q3345690
cites work: Optimal centered forms
cites work: The SIAM 100-Digit Challenge
cites work: Optimization and nonsmooth analysis
cites work: A comparison of the Moore and Miranda existence tests
cites work: Q4277813
cites work: Interval forms of Newtons method
cites work: Global optimization using interval analysis: The one-dimensional case
cites work: Global optimization using interval analysis - the multi-dimensional case
cites work: Q4445267
cites work: Rigorous global search: continuous problems
cites work: Q4003189
cites work: Use of interval slopes for the irrational part of factorable functions
cites work: Interval Slopes for Rational Functions and Associated Centered Forms
cites work: Q5566070
cites work: A Test for Existence of Solutions to Nonlinear Systems
cites work: Testing Unconstrained Optimization Software
cites work: Slope intervals, generalized gradients, semigradients, slant derivatives, and csets
cites work: Automatic differentiation: techniques and applications
cites work: A nonsmooth global optimization technique using slopes: The one-dimensional case
cites work: Expansion and estimation of the range of nonlinear functions
cites work: A comparison of simple tests for accuracy of approximate solutions to nonlinear systems with uncertain data
cites work: The automatic computation of second-order slope tuples for some nonsmooth functions
cites work: Computing slope enclosures by exploiting a unique point of inflection
cites work: Slope enclosures for functions given by two or more branches
cites work: Q3897937
cites work: On interval enclosures using slope arithmetic
cites work: Computation of rational interval functions
cites work: A Branch-and-Prune Method for Global Optimization
cites work: Global optimization
cites work: A new inclusion function for optimization: kite -- the one-dimensional case
cites work: A multidimensional branch-and-prune method for interval global optimization
DOI: 10.1007/S10898-008-9331-9
description: scientific article; zbMATH DE number 5601343