Browsing Workshops 2022 by MFO Series ID "OWR-2022-20"
Now showing items 1-1 of 1
[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 ...