18 Sept 2026
29m
Bhavik Mehta - Formally Verified Numerics for Differential Equations - IPAM at UCLA
Institute for Pure & Applied Mathematics (IPAM)
Open in Podwise to generate AI notes
Sign in to process this episode and unlock summaries, transcripts, highlights and translations.
Shownotes are not generated by Podwise.