Homepage von Justus

Beiträge zu Mathlib

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

Beiträge zu Mathlib

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. Klicke hier um meine neuesten PRs zu sehen.

RationalPolygons.jl

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

RationalPolygons.jl

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. Klicke hier um die Dokumentation zu sehen, und siehe auch meine gemeinsamen Artikel mit Martin Bohnert.

CStarSurfaces.jl

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

CStarSurfaces.jl

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

LDP Datenbank

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. Klicke hier um sie anzusehen.