Computer-assisted proofs in Dynamical Systems (Warwick Tucker, Uppsala University and ENS Lyon)

08.03.2018 16:15 – 17:15

In this talk, we will describe some problems taken from the field of Dynamical Systems, and show how they were successfully solved by computer-assisted proofs. Although the mathematical techniques used when solving these problems vary a lot, the computational parts all share a common foundation: interval analysis. We will give a short introduction to this field of computing, and see how it was applied to help solve the presented problems. The mathematics specific to each problem will also be discussed.

PS. The Colloquium will be followed by an aperitif

Lieu

Acacias, Room 17, Colloque

entrée libre