BEGIN:VCALENDAR VERSION:2.0 PRODID:researchseminars.org CALSCALE:GREGORIAN X-WR-CALNAME:researchseminars.org BEGIN:VEVENT SUMMARY:Konstantin Mischaikow (Rutgers University\, USA) DTSTART:20210216T150000Z DTEND:20210216T160000Z DTSTAMP:20260423T024737Z UID:CRM-CAMP/31 DESCRIPTION:Title: CRM-CAMP COLLOQUIUM: Wherefore computer assisted proofs in dynamics? \nby Konstantin Mischaikow (Rutgers University\, USA) as part of CRM CAMP (Computer-Assisted Mathematical Proofs) in Nonlinear Analysis\n\n\nAbstrac t\nOver the past few decades the topic of computer assisted proofs in nonl inear dynamics has blossomed and is well on the way to becoming a standard part of the field. So perhaps it is worth reflecting on some high level t opics. With this in mind I will discuss\, from an admittedly biased person al perspective\, several questions:\nWhy do computer assisted proofs?\nWhe re do computer assisted proofs in dynamics as currently being done lie in the bigger scheme of formal proof systems?\nWhat new perspective about non linear dynamics can we extract from computer assisted proofs?\nHow should we resolve the dichotomy between precision and accuracy?\nWhat role do com puter assisted proofs have to play as we move into an era of data driven s cience and machine learning?\n LOCATION:https://researchseminars.org/talk/CRM-CAMP/31/ END:VEVENT END:VCALENDAR