Computer-Assisted Proofs in Partial Differential Equations

Javier Gomez-Serrano
Princeton University
Monday, February 11, 2019 - 3:35pm to 4:35pm
Vincent Hall 313

In the last 50 years computing power has experienced an enormous development: every two years the number of transistors has doubled since the 1970s. However, even nowadays when we can perform very fast computations it is not clear a priori if one can obtain rigorous results based on the output of computer calculations. In this talk I will explain the basics of interval analysis and how it can be used to prove theorems in different contexts of PDE, ranging from fluid dynamics to spectral geometry.