✦ LIBER ✦

A second-order pruning step for verified global optimization

✍ Scribed by Marco Schnurr

Book ID: 106414607
Publisher: Springer US
Year: 2008
Tongue: English
Weight: 485 KB
Volume: 44
Category: Article
ISSN: 0925-5001
DOI: 10.1007/s10898-008-9331-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A new parallel method for verified globa

A new parallel method for verified global optimization

✍ S. Ibraev 📂 Article 📅 2002 🏛 John Wiley and Sons ⚖ 69 KB 👁 2 views

Second-Order Global Optimality Condition

Second-Order Global Optimality Conditions for Optimization Problems

✍ X. Q. Yang 📂 Article 📅 2004 🏛 Springer US 🌐 English ⚖ 112 KB

A verified framework for higher-order un

A verified framework for higher-order uncurrying optimizations

✍ Zaynah Dargaye; Xavier Leroy 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 682 KB

A Multidimensional Branch-and-Prune Meth

A Multidimensional Branch-and-Prune Method for Interval Global Optimization

✍ Tamás Vinkó; Dietmar Ratz 📂 Article 📅 2004 🏛 Springer US 🌐 English ⚖ 95 KB

A second-order method for unconstrained

A second-order method for unconstrained optimization

✍ H. Mukai; E. Polak 📂 Article 📅 1978 🏛 Springer 🌐 English ⚖ 604 KB

Second-order sufficient optimality condi

Second-order sufficient optimality conditions for local and global nonlinear programming

✍ Arnold Neumaier 📂 Article 📅 1996 🏛 Springer US 🌐 English ⚖ 678 KB

This paper presents a new approach to the sufficient conditions of nonlinear programming. Main result is a sufficient condition for the global optimality of a Kuhn-Tucker point. This condition can be verified constructively, using a novel convexity test based on interval analysis, and is guaranteed