Projekte on Homepage von Justus

Beiträge zu Mathlib

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

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.

Datenbank rationaler Polygone

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

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

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

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

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

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

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

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.