This is a git repo for my master thesis in mathematics.