Videos

Start date cannot be after end date.

Towards algebraic geometry

Presenter
  • Kevin Buzzard
July 15, 2022
ICERM

Lean 4

Presenter
  • Leonardo de Moura
July 15, 2022
ICERM

Manifolds

Presenter
  • Oliver Nash
July 15, 2022
ICERM

Complex analysis

Presenter
  • Yury Kudryashov
July 14, 2022
ICERM

Calculus

Presenter
  • Patrick Massot
July 14, 2022
ICERM

Elementary number theory

Presenter
  • María Inés de Frutos Fernández
July 14, 2022
ICERM

Algebraic hierarchy

Presenter
  • Johan Commelin
July 13, 2022
ICERM

Topological hierarchy

Presenter
  • Patrick Massot
July 13, 2022
ICERM

Structures and classes

Presenter
  • Robert Lewis
July 13, 2022
ICERM

Algebra Tactics

Presenter
  • Heather Macbeth
July 12, 2022
ICERM

Sets and Functions

Presenter
  • Mario Carneiro
July 12, 2022
ICERM

Logic

Presenter
  • Jeremy Avigad
July 12, 2022
ICERM