Verification of constrained minima

DOI10.1016/0377-0427(94)00132-4zbMath0859.65063OpenAlexW2049369211MaRDI QIDQ1919423

Mark J. Schaefer

Publication date: 25 March 1997

Published in: Journal of Computational and Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0377-0427(94)00132-4

zbMATH Keywords

numerical examplesoptimality conditionsinterval arithmeticnonlinearly constrained minimization

Mathematics Subject Classification ID

Numerical mathematical programming methods (65K05) Nonlinear programming (90C30) Interval and finite arithmetic (65G30) Complexity and performance of numerical algorithms (65Y20)

Uses Software

• PNM
• PASCAL-XSC

Cites Work

• Precise optimization using range arithmetic
• Lagrange Multipliers and Optimality
• Precise computation using range arithmetic, via C++
• Computable error bounds for nonlinear programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item