Verified Optimization

11/12/2021
by   Alexander Bentkamp, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset