Justus' Homepage

Mathlib contributor

Mon, 01 Jan 0001 00:00:00 +0000

Mathlib contributor

In 2021, I started contributing to Lean’s official mathematics library as a hobby. After completing my PhD in 2025, I am now again a regular contributor. Click here to see my most recent PRs.

RationalPolygons.jl

Mon, 01 Jan 0001 00:00:00 +0000

During my PhD, I needed a way to do computations with large amounts of rational polygons. Unsatisfied with the existing solutions, I created RationalPolygons.jl: A pure Julia package optimized precisely for this purpose. Check out its documentation on Github and see also my joint articles with Martin Bohnert.

CStarSurfaces.jl

Mon, 01 Jan 0001 00:00:00 +0000

CStarSurfaces.jl

I developed this Julia package during my PhD to perform classifications of ℂ﹡-surfaces. It was redesigned multiple times, the latest iteration is documented in the appendix of my PhD thesis.

LDP database

Mon, 01 Jan 0001 00:00:00 +0000

LDP database

I made this online search interface to showcase various classifications of log del Pezzo surfaces with torus action. It is kindly hosted by the University of Tübingen. Click here to check it out.