Homepage Von Justus

Projekte

Beiträge zu Mathlib

2021, 2025-jetzt

Im Jahr 2021 habe ich angefangen in meiner Freizeit zu Lean’s mathematischer Bibliothek beizutragen. Nachdem ich 2025 meine Promotion abgeschlossen habe, trage ich auch jetzt wieder regelmäßig bei.

Eine durchsuchbare Online-Datenbank mit fast 500 Millionen rationalen Polygonen aus den Klassifikationen von Martin Bohnert und mir sowie aus der Literatur. Man kann nach Invarianten suchen, ein gegebenes Polygon identifizieren oder die Datenbank über eine API abfragen.

RationalPolygons.jl

2024-2025

In meiner Promotion brauchte ich eine Möglichkeit, Berechnungen mit sehr vielen rationalen Polygonen durchzuführen. Da ich mit den bestehenden Paketen nicht zufrieden war, schrieb ich mein eigenes: RationalPolygons.jl ist ein Julia-Paket, das genau für diesen Zweck optimiert wurde. Die Dokumentation findest du auf Github, siehe auch meine gemeinsamen Artikel mit Martin Bohnert.

CStarSurfaces.jl

2023-2025

Dieses Julia-Paket habe ich während meiner Promotion geschrieben, um Klassifikationen von ℂ﹡-Flächen durchzuführen. Es wurde mehrmals neu geschrieben, die neueste Iteration habe ich im Anhang meiner Dissertation dokumentiert.

LDP database

2022-2024

Diese online Datenbank habe ich erstellt, um verschiedene Klassifikationen von log del Pezzo Flächen mit Torusoperation zu zeigen. Sie wird auf Servern der Universität Tübingen gehostet.