AIM Workshop: Computational mathematics in computer assisted proofs

This workshop, sponsored by AIM and the NSF, will be devoted to the use of computational mathematics in computer assisted proofs. There are an increasing number of famous conjectures and theorems that have recently been proven using computer assisted proofs. A highly incomplete list in alphabetical order includes the Dirac-Schwinger conjecture, the double bubble conjecture, Kepler's conjecture (Hilbert's 18th problem), Smale's 14th problem, the 290-theorem, the weak Goldbach conjecture etc. In many of these cases the proofs are based on using numerical computations with approximations, a technique that belongs to the field of computational mathematics and scientific computing rather than computer science.