Videos

Start date cannot be after end date.
Will Mathematics Ever Make Sense? Thumbnail

Will Mathematics Ever Make Sense?

Presenter
  • Alexander Givental
June 1, 2007
SLMath

Effective spectra

Presenter
  • Benjamin Antieau
June 26, 2026
ICERM

Building mathematical databases

Presenter
  • David Roe
June 24, 2026
ICERM

Machine computation of the equivariant slice spectral sequence

Presenter
  • Danny Shi
June 24, 2026
ICERM

Topology and algebra in SageMath

Presenter
  • John Palmieri
June 23, 2026
ICERM

Malle's conjecture in the LMFDB

Presenter
  • David Roe
June 9, 2026
ICERM
An Average-Degree Bound for Hamming Hypergraphs, with Applications to Optimal PAC Learning Thumbnail

An Average-Degree Bound for Hamming Hypergraphs, with Applications to Optimal PAC Learning

Presenter
  • Nataly Brukhim
May 26, 2026
IAS
Singular or Global, Pick Your Poison Thumbnail

Singular or Global, Pick Your Poison

Presenter
  • David Nadler
May 22, 2026
IAS

Complex Analysis in PNT+ and Real Analysis as a Game

Presenter
  • Alex Kontorovich
May 14, 2026
ICERM

ODEs and Integral Curves on Manifolds

Presenter
  • Winston Yin
May 12, 2026
ICERM

Formalizing de Rham cohomology in Lean

Presenter
  • Yury Kudryashov
May 12, 2026
ICERM

Towards the formalisation of PDEs in analysis

Presenter
  • Michael Rothgang
May 11, 2026
ICERM