CRM: Centro De Giorgi
logo sns
Computer-assisted proofs, proof assistants and visualization in dynamical systems

Common work


timetable:
Thu 20 Jun, 15:00 - 16:40, Aula Dini
<< Go back