麻豆AV

Seminar CRM CAMP In Nonlinear Analysis
En ligne / Web. Pour s'inscrire, veuillez visiter / For registration, please visit:

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

Web site :