Seminar, Computational Mathematics

Max Zeuner: Constructive Mathematics and the Computational Content of Proofs

25 Mar

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)

Chun-Biu Li: How do molecular motors face stochasticity? Challenges and chances

15 Apr

Seminar, Computational Mathematics

Wednesday 2020-04-15, 14:00

Participating: Chun-Biu Li

Location: Zoom, Meeting ID: 682 028 753 10

2020-04-15T14:00:00.000+02:00 2020-04-15T14:00:00.000+02:00 Chun-Biu Li: How do molecular motors face stochasticity? Challenges and chances (Seminar, Computational Mathematics) Zoom, Meeting ID: 682 028 753 10 (KTH, Stockholm, Sweden)Chun-Biu Li: How do molecular motors face stochasticity? Challenges and chances (Seminar, Computational Mathematics)

Stefano Ottolenghi: Towards tackling ice sheets-ocean interactions with Finite Element Methods

22 Apr

Seminar, Computational Mathematics

Wednesday 2020-04-22, 14:00

Participating: Stefano Ottolenghi

Location: Zoom: stockholmuniversity, Meeting ID: 65341844109

2020-04-22T14:00:00.000+02:00 2020-04-22T14:00:00.000+02:00 Stefano Ottolenghi: Towards tackling ice sheets-ocean interactions with Finite Element Methods (Seminar, Computational Mathematics) Zoom: stockholmuniversity, Meeting ID: 65341844109 (KTH, Stockholm, Sweden)Stefano Ottolenghi: Towards tackling ice sheets-ocean interactions with Finite Element Methods (Seminar, Computational Mathematics)

Christian Helanow: Finite element approximations of the p-Stokes equations for ice-sheet models

20 May

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)

Anders Mörtberg: Computer formalization of mathematics and Univalent Foundations

3 Jun

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)