CRM CAMP in Nonlinear Analysis

Computer-Assisted Mathematical Proofs in Nonlinear Analysis

June 8, 2021 from 10:00 to 11:00 (Montreal/EST time) Zoom meeting

OPEN PROBLEMS SERIES: Some conjectures that seem difficult to prove

Seminar presented by Vladimir Sverak (University of Minnesota)

In many cases, numerics and/or heuristics provide compelling evidence for statements that we have trouble proving rigorously. I will discuss some examples, mostly inspired by fluid flows.