Computer-assisted proofs, proof assistants and visualization in dynamical systems
timetable:
Thu 20 Jun, 10:10 - 11:00, Aula Dini
<< Go back
High performance computing on a teapot
speaker: Alexey Korepanov (Loughborough University)abstract: I'll talk about portability and presentation of numerical results and simulations. In particular, about stable workflow that works in extreme universality, relying on most widely installed and used program: your browser. This is a popular talk without any serious mathematical content.
timetable:
Thu 20 Jun, 10:10 - 11:00, Aula Dini
<< Go back