CRM CAMP in Nonlinear Analysis

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

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

CRM CAMP Colloquium: Encounters with Computer-Assisted Proofs in Early Days

Séminaire par Charles Fefferman (Princeton University, USA)

The talk recounts how computer-assisted proofs came into two theorems on the quantum mechanics of Coulomb systems during the 1980's.