Verified Optimization
Optimization and Control
2021-11-15 v1 Logic in Computer Science
Mathematical Software
Abstract
Optimization is used extensively in engineering, industry, and finance, and various methods are used to transform problems to the point where they are amenable to solution by numerical methods. We describe progress towards developing a framework, based on the Lean interactive proof assistant, for designing and applying such reductions in reliable and flexible ways.
Cite
@article{arxiv.2111.06807,
title = {Verified Optimization},
author = {Alexander Bentkamp and Jeremy Avigad},
journal= {arXiv preprint arXiv:2111.06807},
year = {2021}
}