Browsing Workshops 2022 by MSC "90"
Now showing items 1-1 of 1
-
2215b - Conic Linear Optimization for Computer-Assisted Proofs
[OWR-2022-20] (2022) - (10 Apr - 16 Apr 2022)From a mathematical perspective, optimization is the science of proving inequalities. In this sense, computational optimization is a method for computer-assisted proofs. Conic (linear) optimization is ...