Numerical Software with Result Verification

DOI10.1007/B96498MaRDI QIDQ5308355zbMATHOpenAlexFDO

Authors Hermann Schichl

Publication date 28 September 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b96498

Mathematics Subject Classification ID

Numerical optimization and variational techniques (65K10) Packaged methods for numerical algorithms (65Y15)

Recommendations

• Comparison and Automated Selection of Local Optimization Solvers for Interval Global Optimization Methods
• A comparison of complete global optimization solvers
• Complete search in continuous global optimization and constraint satisfaction
• scientific article; zbMATH DE number 1795205
• scientific article; zbMATH DE number 1487503

Cited in

(8)

• Error bounds for initial value problems by optimization
• Minotaur: a mixed-integer nonlinear optimization toolkit
• A comparison of complete global optimization solvers
• A review of recent advances in global optimization
• Interval unions
• Certificates of infeasibility via nonsmooth optimization
• Algorithmic differentiation techniques for global optimization in the COCONUT environment
• Benchmarking nonlinear optimization software in technical computing environments

Describes a project that uses

Uses Software

• COCONUT
• filib++

This page was built for publication: Numerical Software with Result Verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5308355)