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

Round table on visualization (Chairman: JR Chazottes)

timetable:
Thu 20 Jun, 17:00 - 17:50, Aula Dini
<< Go back