Numerical Software with Result Verification

DOI10.1007/B96498zbMATH Open1126.65318OpenAlexW203078251MaRDI QIDQ5308355FDOQ5308355

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)

Cited In (8)

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

Uses Software

• COCONUT
• filib++

   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 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)