Browsing Workshops 2022 by MSC "52"
Now showing items 1-2 of 2
-
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 ... -
2213 - Toric Geometry
[OWR-2022-17] (2022) - (27 Mar - 02 Apr 2022)Toric geometry is a vibrant subfield of algebraic geometry that draws on strong connections to combinatorics. The 2022 workshop brought together a broad group of mathematicians both in-person and virtually to ...