Analytic and Algebraic Moduli Spaces of Vector Bundles
-
Updated
Aug 30, 2024 - TeX
#
moduli-spaces
Here are 2 public repositories matching this topic...
Ü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 moduli-spaces topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the moduli-spaces topic, visit your repo's landing page and select "manage topics."