Numerical Software with Result Verification
From MaRDI portal
Publication:5308355
DOI10.1007/b96498zbMath1126.65318OpenAlexW203078251MaRDI QIDQ5308355
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
Numerical optimization and variational techniques (65K10) Packaged methods for numerical algorithms (65Y15)
Related Items (8)
Interval unions ⋮ Algorithmic differentiation techniques for global optimization in the COCONUT environment ⋮ Minotaur: a mixed-integer nonlinear optimization toolkit ⋮ A review of recent advances in global optimization ⋮ Certificates of infeasibility via nonsmooth optimization ⋮ Error bounds for initial value problems by optimization ⋮ Benchmarking nonlinear optimization software in technical computing environments ⋮ A comparison of complete global optimization solvers
Uses Software
This page was built for publication: Numerical Software with Result Verification
