Computer-assisted proofs, proof assistants and visualization in dynamical systems

18 June 2024 - 21 June 2024

Invited Speakers

Pages: [1] [2]

Queen Mary University of London
Talk: Explicit resolvent bounds for transfer operators

Université Paris-Saclay
Talk: Computing and visualizing measures with maximum entropy and other equilibrium states

CNRS and Université de Rennes
Talk: The Lean theorem prover

Loughborough University
Talk: High performance computing on a teapot

Universidade Federal de Rio de Janeiro
Talk: Rigorous enclosure of the discrete spectrum for transfer operators

University of Warwick
Talk: Estimates on Lyapunov exponents via the pressure function

University of Warwick
Talk: Spectra of transfer and Koopman operators

Université Paris-Saclay
Talk: Formalizing topological entropy in Lean

Monash University
Talk: Lower bounds on the Hausdorff dimensions of Julia sets

University of Surrey
Talk: Dimension function of the Lagrange and Markov spectra