Videos

Start date cannot be after end date.
Making Proofs More Constructive, and Algorithms Less Random Thumbnail

Making Proofs More Constructive, and Algorithms Less Random

Presenter
  • Oliver Korten
September 26, 2022
IAS
MLC Along the Real Line Thumbnail

MLC Along the Real Line

Presenter
  • Dzmitry Dudko
May 3, 2022
SLMath
An Intermittent Onsager Theorem Thumbnail

An Intermittent Onsager Theorem

Presenter
  • Vlad Vicol
April 8, 2022
IAS

Computer Bounds for Kronheimer-Mrowka Foam Evaluation

Presenter
  • David Boozer
November 6, 2021
ICERM