BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Charles Fefferman (Princeton University\, USA)
DTSTART:20210601T140000Z
DTEND:20210601T150000Z
DTSTAMP:20260423T024731Z
UID:CRM-CAMP/45
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CRM-CAMP/45/
 ">CRM CAMP Colloquium: Encounters with Computer-Assisted Proofs in Early D
 ays</a>\nby Charles Fefferman (Princeton University\, USA) as part of CRM 
 CAMP (Computer-Assisted Mathematical Proofs) in Nonlinear Analysis\n\n\nAb
 stract\nThe talk recounts how computer-assisted proofs came into two theor
 ems on the quantum mechanics of Coulomb systems during the 1980's.\n
LOCATION:https://researchseminars.org/talk/CRM-CAMP/45/
END:VEVENT
END:VCALENDAR