Numerical Software with Result Verification
From MaRDI portal
Publication:5308355
DOI10.1007/B96498zbMATH Open1126.65318OpenAlexW203078251MaRDI QIDQ5308355FDOQ5308355
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
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
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
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)
