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

Abstract: 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?

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