项目 on Justus的个人主页

Mathlib 贡献者

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

我从 2021 年开始将向 Lean 的官方数学库 Mathlib 贡献代码作为一项业余爱好。完成博士学位（2025 年）后，我目前再次成为活跃的常规贡献者。

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

一个可在线检索的数据库，收录了近 5 亿个有理多边形，来源于我与 Martin Bohnert 的分类结果以及已有文献。你可以按不变量检索、识别给定的多边形，或通过 API 进行查询。

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

在攻读博士期间，我需要一种方法来处理大量有理多边形的计算。由于对现有解决方案不满意，我开发了 RationalPolygons.jl：一个专为此类计算优化的纯 Julia 软件包。你可以在 GitHub 上查看其文档，也可以参阅我与 Martin Bohnert 的合作论文。

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

我在博士期间开发了这个 Julia 软件包，用于对 ℂ﹡ 曲面进行分类。该项目经历了多次重构，最新版本的设计记录在我的博士论文附录中。

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

我构建了这个在线检索界面，用于展示带有环面作用的 log del Pezzo 曲面的各种分类结果。该项目由图宾根大学提供托管支持。