CRM CAMP in Nonlinear Analysis

Computer-Assisted Mathematical Proofs in Nonlinear Analysis

February 16, 2021 from 10:00 to 11:00 (Montreal/EST time) Zoom meeting

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

Seminar presented by 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?