Seminar, Computational Mathematics
Wed 29 April - Thu 31 December
-
Seminar, Computational Mathematics
Wednesday 2020-05-20, 14:00 - 14:45
Participating: Christian Helanow, Stockholms universitet
Location: Zoom, meeting ID: 619 6390 9394
2020-05-20T14:00:00.000+02:00 2020-05-20T14:45:00.000+02:00 Christian Helanow: Finite element approximations of the p-Stokes equations for ice-sheet models (Seminar, Computational Mathematics) Zoom, meeting ID: 619 6390 9394 (KTH, Stockholm, Sweden)Christian Helanow: Finite element approximations of the p-Stokes equations for ice-sheet models (Seminar, Computational Mathematics) -
Seminar, Computational Mathematics
Wednesday 2020-06-03, 14:00 - 14:45
Participating: Anders Mörtberg, Stockholms universitet
Location: Zoom, meeting ID: 637 3645 9054
2020-06-03T14:00:00.000+02:00 2020-06-03T14:45:00.000+02:00 Anders Mörtberg: Computer formalization of mathematics and Univalent Foundations (Seminar, Computational Mathematics) Zoom, meeting ID: 637 3645 9054 (KTH, Stockholm, Sweden)Anders Mörtberg: Computer formalization of mathematics and Univalent Foundations (Seminar, Computational Mathematics)