Analytic and Algebraic Moduli Spaces of Vector Bundles
-
Updated
Aug 30, 2024 - TeX
#
complex-geometry
Here are 5 public repositories matching this topic...
Lecture notes from MATH 2260: Riemann Surfaces with Jeremy Kahn at Brown University for the Spring 2024 semester.
-
Updated
Oct 8, 2025 - TeX
Personal page / papers, talks, CV
-
Updated
May 4, 2026 - HTML
Certified analytic geometry on an explicit K3 surface: a finite holomorphic atlas whose chart domains, transitions and branch continuations are machine-checked rather than asserted. Sixty chart types, exact transitions over Q, outward-rounded arithmetic elsewhere. No Ricci-flat metric claimed. One command verifies fourteen certificates.
reproducible-research scientific-computing algebraic-geometry interval-arithmetic mathematical-physics computer-assisted-proof analytic-continuation complex-geometry k3-surface arithmon certified-computation validated-numerics
-
Updated
Aug 21, 2026 - Python
Über Teichmüller's Einheitliches Programm: Verifiable formalization of variable Riemann surfaces, continuing the unified research route from Göttingen school
topology mathematics category-theory formalization teichmuller lean4 riemann-surfaces complex-geometry moduli-spaces
-
Updated
Aug 20, 2026 - Lean
Improve this page
Add a description, image, and links to the complex-geometry topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the complex-geometry topic, visit your repo's landing page and select "manage topics."