Start date cannot be after end date.
Formalization Of Mathematics Summer School: The Lean Simplifier and Other Automation
Presenter
- Jeremy Avigad
June 15, 2023
SLMath
Random Young diagrams and the approximate factorization property
Presenter
- Maciej Dolega
February 7, 2020
IPAM
The behavior of sequences of solutions to the Vafa-Witten equations
Presenter
- Cliff Taubes
May 6, 2017
IPAM
Controlling Travelling Waves of the Complex Ginzburg-Landau Equation with Spatial Feedback
Presenter
- Claire Postlethwaite
January 19, 2007
SLMath
The polynomial rate of convergence of critical interfaces
Presenter
- Ilia Binder
January 9, 2019
IPAM