Seminar, Computational Mathematics
Mon 23 March - Sun 29 March
-
25MarSeminar, Computational MathematicsWednesday 2020-03-25, 14:00 - 15:00Lecturer: Max Zeuner2020-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)