CRM CAMP in Nonlinear Analysis

Computer-Assisted Mathematical Proofs in Nonlinear Analysis

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.