Home
Programs
Your Visit
Videos
About
Support ICERM
Search
Loading...
Video Archive
Submit
Reset
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
Analysis for Elliptic PDE and Spectral Geometry
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
Towards the formalisation of PDEs in analysis
Michael Rothgang
Universität Bonn
May 11, 2026 • 12:00 AM
Techniques and Tools for the Formalization of Analysis
«
First
‹
Previous
8
9
10
11
(current)
12
13
14
›
Next
»
Last