Videos

Bhavik Mehta - Formally Verified Numerics for Differential Equations

September 18, 2026
IPAM
Event: PDEs: Verification, Mathematics, and Algorithms in the Age of AI
Play Video