Videos

Start date cannot be after end date.
Implicitization techniques: easy algorithms, deep proofs Thumbnail

Implicitization techniques: easy algorithms, deep proofs

Presenter
  • Alicia Dickenstein
August 24, 2012
SLMath

Polynomial optimization on finite sets

Presenter
  • Mauricio Velasco
February 3, 2023
ICERM

Polynomial optimization on finite sets

Presenter
  • Mauricio Velasco
February 3, 2023
ICERM

Polynomial optimization on finite sets

Presenter
  • Mauricio Velasco
February 1, 2023
ICERM

Polynomial optimization on finite sets

Presenter
  • Mauricio Velasco
February 1, 2023
ICERM
Towards Decision-Ready Operator Surrogates Thumbnail

Towards Decision-Ready Operator Surrogates

Presenter
  • Thomas O'Leary-Roseberry
October 9, 2025
IMSI

Using Acceleration as a Service: Rethinking HPC Infrastrucutre in the AI Era

Presenter
  • Thomas Schulthess
September 13, 2025
ICERM
Using Logic to Investigate Homeomorphism Groups of Manifolds Thumbnail

Using Logic to Investigate Homeomorphism Groups of Manifolds

Presenter
  • Thomas Koberda
April 1, 2025
IAS