CRM CAMP Colloquium: Encounters with Computer-Assisted Proofs in Early Days
Charles Fefferman (Princeton University, USA)
01-Jun-2021, 14:00-15:00 (3 years ago)
Abstract: The talk recounts how computer-assisted proofs came into two theorems on the quantum mechanics of Coulomb systems during the 1980's.
analysis of PDEsclassical analysis and ODEsdynamical systemsfunctional analysisnumerical analysis
Audience: researchers in the discipline
CRM CAMP (Computer-Assisted Mathematical Proofs) in Nonlinear Analysis
Series comments: To have access to the zoom details of the talks, please register at www.crm.math.ca/camp-nonlinear
Organizers: | Jean-Philippe Lessard*, Jason D. Mireles James, Jan Bouwe van den Berg |
*contact for this listing |
Export talk to