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

Discussion and self organized collaboration

timetable:
Tue 18 Jun, 11:00 - 11:50, Aula Dini
<< Go back