Videos

Start date cannot be after end date.
A Computer-Checked Proof that the Fundamental Group of the Circle is the Integers Thumbnail

A Computer-Checked Proof that the Fundamental Group of the Circle is the Integers

Presenter
  • Daniel Licata
November 26, 2012
IAS
PCPs of Sub-Constant Error Via Derandomized Direct Product Thumbnail

PCPs of Sub-Constant Error Via Derandomized Direct Product

Presenter
  • Or Meir
October 19, 2009
IAS
Precursors to splashing on a solid surface Thumbnail

Precursors to splashing on a solid surface

Presenter
  • Michael Brenner
March 25, 2009
IMA

Is it rigid or not? Geometric rigidity in shells and frameworks

Presenter
  • Christian Santangelo
April 9, 2025
ICERM

The convex hull of space curves with totally positive torsion

Presenter
  • Paata Ivanishvili
October 17, 2022
ICERM
Towards a low-cost scalable data-driven modeling of coupled systems and non-stationary time series analysis Thumbnail

Towards a low-cost scalable data-driven modeling of coupled systems and non-stationary time series analysis

Presenter
  • Lukas Pospisil
November 1, 2019
IPAM
Introductory Workshop: Hamiltonian Systems, From Topology To Applications Through Analysis - Introduction to weak KAM theory II Thumbnail

Introductory Workshop: Hamiltonian Systems, From Topology To Applications Through Analysis - Introduction to weak KAM theory II

Presenter
  • Marie-Claude Arnaud
August 21, 2018
SLMath
Introductory Workshop: Hamiltonian Systems, From Topology To Applications Through Analysis - Introduction to weak KAM theory I Thumbnail

Introductory Workshop: Hamiltonian Systems, From Topology To Applications Through Analysis - Introduction to weak KAM theory I

Presenter
  • Marie-Claude Arnaud
August 20, 2018
SLMath
Some closure results for polynomial factorization Thumbnail

Some closure results for polynomial factorization

Presenter
  • Mrinal Kumar
February 20, 2018
IAS
Metastability: a journey from stochastic processes to semiclassical analysis Thumbnail

Metastability: a journey from stochastic processes to semiclassical analysis

Presenter
  • Tony Lelièvre
October 16, 2017
IPAM

Lech's Inequality

Presenter
  • Javid Validashti
February 13, 2013
SLMath

How to compute many decomposition numbers for symmetric groups (… in principle, on a big computer, using code that doesn’t yet exist).

Presenter
  • Geordie Williamson
October 21, 2025
ICERM