Videos

Start date cannot be after end date.
How do we do it? Teaching Mathematics to U.S. Thumbnail

How do we do it? Teaching Mathematics to U.S.

Presenter
  • Jeremy Kilpatrick
May 30, 2007
SLMath
Exotic Spheres from p-adic Cohomology Theories Thumbnail

Exotic Spheres from p-adic Cohomology Theories

Presenter
  • Jeremy Hahn
November 17, 2023
IAS
Formalization Of Mathematics Summer School: Lecture and Discussion Thumbnail

Formalization Of Mathematics Summer School: Lecture and Discussion

Presenter
  • Jeremy Avigad
June 5, 2023
SLMath
Formalization Of Mathematics Summer School: Installing Lean Thumbnail

Formalization Of Mathematics Summer School: Installing Lean

Presenter
  • Jeremy Avigad
June 5, 2023
SLMath

Logic

Presenter
  • Jeremy Avigad
July 12, 2022
ICERM

Organizer Welcome / Introduction to Lean

Presenter
  • Jeremy Avigad
July 11, 2022
ICERM

Algebraic singular fibers from the symplectic perspective

Presenter
  • Jeremy Van Horn-Morris
April 25, 2022
ICERM