演講者:Prof. Maxime Breden
學校名稱/服務單位:École Polytechnique
演講題目:An Introduction to Computer-Assisted Proofs for Dynamical Systems: How to Turn a Numerical Simulation into a Mathematical Theorem
演講時間:2024/04/24(三) 13:30-15:00
演講地點:Online via WebEx
Meeting number (access code): 2518 295 8662
Meeting password: acEtwymK235