Start date cannot be after end date.
Patrick Massot - Formal mathematics for mathematicians and mathematics students - IPAM at UCLA
Presenter
- Patrick Massot
February 15, 2023
IPAM
Holonomic Approximation through Convex Integration
Presenter
- Mélanie Theilliere
November 2, 2021
IAS
Formalization Of Mathematics Summer School: Introduction to Formalized Mathematics
Presenter
- Patrick Massot
June 5, 2023
SLMath
Formalization Of Mathematics Summer School: Topology (Chapter 7 of MIL)
Presenter
- Patrick Massot
June 9, 2023
SLMath
Formalization Of Mathematics Summer School: Commutative Algebra and Linear Algebra
Presenter
- Patrick Massot
June 12, 2023
SLMath
Formalization Of Mathematics Summer School: Hierarchies (Chapter 7 of MIL) Continued, and Differential Calculus (Chapter 9 of MIL)
Presenter
- Patrick Massot
June 13, 2023
SLMath
Formalization Of Mathematics Summer School: Formalizing Sphere Eversion
Presenter
- Patrick Massot
June 16, 2023
SLMath