NLCertify: A Tool for Formal Nonlinear Optimization

DOI10.1007/978-3-662-44199-2_49zbMath1434.68640arXiv1405.5668OpenAlexW1787747790MaRDI QIDQ2879141

Victor Magron

Publication date: 8 September 2014

Published in: Mathematical Software – ICMS 2014 (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1405.5668

zbMATH Keywords

proof assistanthybrid symbolic-numeric certificationmax-plus approximationformal nonlinear optimizationsparse SOS

Mathematics Subject Classification ID

Nonlinear programming (90C30) Packaged methods for numerical algorithms (65Y15) Software, source code, etc. for problems pertaining to operations research and mathematical programming (90-04) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Tropical optimization (e.g., max-plus optimization) (90C24)

Related Items (3)

GpoSolver: a Matlab/C++ toolbox for global polynomial optimization ⋮ NLCertify ⋮ Certification of real inequalities: templates and sums of squares

Uses Software

• Coq
• SparsePOP
• GloptiPoly
• YALMIP
• OCaml
• Sollya

This page was built for publication: NLCertify: A Tool for Formal Nonlinear Optimization