Home
Programs
Your Visit
Videos
About
Support ICERM
Search
Loading...
Video Archive
Submit
Reset
The Integrated Explicit Analytic Number Theory Network : a progress report
Terence Tao
UCLA
May 15, 2026 • 12:00 AM
Techniques and Tools for the Formalization of Analysis
Formalizing variation estimates for commuting transformations
Floris van Doorn
University of Bonn
May 15, 2026 • 12:00 AM
Techniques and Tools for the Formalization of Analysis
Formally verifying numerics for differential equations
Bhavik Mehta
Imperial College London
May 14, 2026 • 12:00 AM
Techniques and Tools for the Formalization of Analysis
Complex Analysis in PNT+ and Real Analysis as a Game
Alex Kontorovich
Rutgers University
May 14, 2026 • 12:00 AM
Techniques and Tools for the Formalization of Analysis
Obstacles and opportunities in the formalization of operator algebras
Jireh Loreaux
Southern Illinois University Edwardsville
May 13, 2026 • 12:00 AM
Techniques and Tools for the Formalization of Analysis
TBA
Bogdan Georgiev
Google Deepmind
May 13, 2026 • 12:00 AM
Techniques and Tools for the Formalization of Analysis
How to design tools for formalization
Robert Lewis
Brown University
May 13, 2026 • 12:00 AM
Techniques and Tools for the Formalization of Analysis
ODEs and Integral Curves on Manifolds
Winston Yin
UC Berkeley
May 12, 2026 • 12:00 AM
Techniques and Tools for the Formalization of Analysis
Computing Derivatives
Tomas Skrivan
SideFX
May 12, 2026 • 12:00 AM
Techniques and Tools for the Formalization of Analysis
Spaces of classical distributions and locally convex spaces in Mathlib
Anatole Dedecker
Université Paris-Cité
May 12, 2026 • 12:00 AM
Techniques and Tools for the Formalization of Analysis
Formalizing de Rham cohomology in Lean
Yury Kudryashov
Harmonic
May 12, 2026 • 12:00 AM
Techniques and Tools for the Formalization of Analysis
The Sobolev embedding theorem via Fourier analysis
Moritz Doll
University of Melbourne
May 11, 2026 • 12:00 AM
Techniques and Tools for the Formalization of Analysis
«
First
‹
Previous
1
(current)
2
3
4
›
Next
»
Last