June 1, 2021
CRM CAMP Colloquium: Encounters with Computer-Assisted Proofs in Early Days
Charles Fefferman
Seminar
June 1, 2021 from 10:00 to 10:00 (Montreal/EST time) Zoom meeting
CRM CAMP Colloquium: Encounters with Computer-Assisted Proofs in Early Days
Seminar presented by 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.
