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) Max Zeuner: Constructive Mathematics and the Computational Content of Proofs (Seminar, Computational Mathematics)