U.S. National Science Foundation

Mathematical Sciences Institutes

Home
Institutes
Events
Highlights
Videos
About

Videos

Search

From Date

To Date

Institute

Per Page

Start date cannot be after end date.

Formally verifying numerics for differential equations

Presenter

Bhavik Mehta

May 14, 2026

ICERM

MathInstitutes.org

Home
Institutes
Events
Highlights
Videos
About

Institutes

AIM
IAS
ICARM
ICERM
IMSI
IPAM
SLMath

Search

Events

Highlights

Videos

Any opinions, findings, and conclusions or recommendations expressed on this website are those of the participants and do not necessarily reflect the views of the U.S. National Science Foundation or the participating institutions. This site is maintained collaboratively by principal investigators of the active Mathematical Sciences Research Institute awards, independent of NSF.

support@icerm.brown.edu