Browsing Workshops 2022 by MSC "52"

Anzeige der Dokumente 1-2 von 2

    • 2215b - Conic Linear Optimization for Computer-Assisted Proofs 

      [OWR-2022-20] Workshop Report 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] Workshop Report 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 ...