1 juin 2021
CRM CAMP Colloquium: Encounters with Computer-Assisted Proofs in Early Days
Charles Fefferman
Séminaire
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.
