CRM CAMP in Nonlinear Analysis

Preuves mathématiques assistées par ordinateur en analyse non linéaire

16 février 2021 de 10 h 00 à 11 h 00 (heure de Montréal/HNE) Réunion Zoom

CRM-CAMP COLLOQUIUM: Wherefore computer assisted proofs in dynamics?

Séminaire par Konstantin Mischaikow (Rutgers University, USA)

Over the past few decades the topic of computer assisted proofs in nonlinear 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 topics. With this in mind I will discuss, from an admittedly biased personal perspective, several questions:

  • Why do computer assisted proofs?
  • Where do computer assisted proofs in dynamics as currently being done lie in the bigger scheme of formal proof systems?
  • What new perspective about nonlinear dynamics can we extract from computer assisted proofs?
  • How should we resolve the dichotomy between precision and accuracy?
  • What role do computer assisted proofs have to play as we move into an era of data driven science and machine learning?