CRM CAMP in Nonlinear Analysis

Preuves mathématiques assistées par ordinateur en analyse non linéaire

8 juin 2021 de 10 h 00 à 11 h 00 (heure de Montréal/HNE) Réunion Zoom

OPEN PROBLEMS SERIES: Some conjectures that seem difficult to prove

Séminaire par 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.