An Introduction to Computer-Assisted Proofs for Dynamical Systems: How to Turn a Numerical Simulation into a Mathematical Theorem
Maxime Breden (Ecole Polytechnique)
ncts dot ntu dot edu dot tw slash events_1_detail dot php?nid=2696
--
FROM 202.120.11.*