Dissertation

Max Zeuner: Univalent Constructive Algebraic Geometry: Foundations and Formalizations

4 Oct

Dissertation

Friday 2024-10-04, 13:00

Participating: Max Zeuner (Stockholm University)

Location: Lärosal 5, Hus 1, Albano campus, Stockholm Univ.

Doctoral student: Max Zeuner , Department of Mathematics, Stockholm University

2024-10-04T13:00:00.000+02:00 2024-10-04T13:00:00.000+02:00 Max Zeuner: Univalent Constructive Algebraic Geometry: Foundations and Formalizations (Dissertation) Lärosal 5, Hus 1, Albano campus, Stockholm Univ. (KTH, Stockholm, Sweden)Max Zeuner: Univalent Constructive Algebraic Geometry: Foundations and Formalizations (Dissertation)

Generalized mixed finite element methods: cut elements and virtual elements

25 Oct

Public defences of doctoral theses

Applied and Computational Mathematics, Numerical Analysis

Friday 2024-10-25, 14:00

Location: F3 (Flodis), Lindstedtsvägen 26 & 28, Stockholm

Doctoral student: Erik Nilsson , Numerisk analys, optimeringslära och systemteori, Numerisk analys

2024-10-25T14:00:00.000+02:00 2024-10-25T14:00:00.000+02:00 Generalized mixed finite element methods: cut elements and virtual elements (Public defences of doctoral theses) F3 (Flodis), Lindstedtsvägen 26 & 28, Stockholm (KTH, Stockholm, Sweden)Generalized mixed finite element methods: cut elements and virtual elements (Public defences of doctoral theses)