Algebraic Proof Systems - Nullstellensatz and IPS
As part of the 9th Workshop on Algebraic Complexity Theory (WACT) I wrote a short survey detailing the basics- and progress of algebraic proof systems. Specifically, I focus on …
read more →Posts
MSc Thesis: Invariant Theory and Graph Theory
On the 11th of January 2024, I defended my MSc thesis in Invariant Theory and Graph Theory. The thesis can be found here or you can read the abstract below. Abstract In this thesis, we …
read more →On the existance of a closed geodesic on compact Riemannian manifolds
As part of a seminar course on Riemannian geometry, i wrote a small paper on the basics of Lyusternik-Schnirelmann theory, with a goal of proving the Lyusternik-Fet Theorem. The project can …
read more →A debt game and Riemann-Roch on graphs (draft)
I recently gave a talk at a seminar course (Invitation To Combinatorics), where i was so lucky as to get to talk about the Riemann-Roch theorem for graphs! The theorem and all the underlying …
read more →Cracking a memory
Finding a memory I was recently back for holidays, vitising at my parents, and found all my old computer games. Among them was ‘Magnus Og Myggen 2: Den Store Skattejagt’ which I …
read more →Nim-Squared
Introduciton & Rules I recently did a project for the course Experimental Mathematics about an extension the game Nim, called Nim squared. The rules are quite simple; on an n by m chess …
read more →BSc Thesis: Triangulated Categories
On the 21st of June 2021, I defended my BSc thesis in Triangulated Categories. The thesis can be found here or you can read the abstract below. Abstract In this paper, we give a short …
read more →