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

18 June 2024 - 21 June 2024

Invited Speakers

[table view]

Caroline Wormell

Australian National University
Talk: Two classes of highly effective discretisations

Hongkun Zhang

University of Massachusetts Amherst
Talk: Machine learning of Hamiltonian dynamical systems

[<<Prev - Next>>]