CRM: Centro De Giorgi
logo sns

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

18 June 2024 - 21 June 2024

Documents