Calendar
Wed 25 March
-
Seminar, Computational Mathematics
Wednesday 2020-03-25, 14:00 - 15:00
Participating: Max Zeuner
Location: https://stockholmuniversity.zoom.us/j/384148555
2020-03-25T14:00:00.000+01:00 2020-03-25T15:00:00.000+01:00 Max Zeuner: Constructive Mathematics and the Computational Content of Proofs (Seminar, Computational Mathematics) https://stockholmuniversity.zoom.us/j/384148555 (KTH, Stockholm, Sweden)Max Zeuner: Constructive Mathematics and the Computational Content of Proofs (Seminar, Computational Mathematics)