Videos

Start date cannot be after end date.

Complex Analysis in PNT+ and Real Analysis as a Game

Presenter
  • Alex Kontorovich
May 14, 2026
ICERM
Twist-Parametrized Points on Modular Curves Thumbnail

Twist-Parametrized Points on Modular Curves

Presenter
  • Filip Najman
May 14, 2026
IAS

Obstacles and opportunities in the formalization of operator algebras

Presenter
  • Jireh Loreaux
May 13, 2026
ICERM

TBA

Presenter
  • Bogdan Georgiev
May 13, 2026
ICERM

How to design tools for formalization

Presenter
  • Robert Lewis
May 13, 2026
ICERM

ODEs and Integral Curves on Manifolds

Presenter
  • Winston Yin
May 12, 2026
ICERM

Computing Derivatives

Presenter
  • Tomas Skrivan
May 12, 2026
ICERM

Spaces of classical distributions and locally convex spaces in Mathlib

Presenter
  • Anatole Dedecker
May 12, 2026
ICERM

Formalizing de Rham cohomology in Lean

Presenter
  • Yury Kudryashov
May 12, 2026
ICERM

The Sobolev embedding theorem via Fourier analysis

Presenter
  • Moritz Doll
May 11, 2026
ICERM

Towards the formalisation of PDEs in analysis

Presenter
  • Michael Rothgang
May 11, 2026
ICERM

Analysis for classical differential geometry

Presenter
  • Oliver Nash
May 11, 2026
ICERM