Formalized proof, computation, and the construction problem in algebraic geometry

Abstract

An informal discussion of how the construction problem in algebraic geometry motivates the search for formal proof methods. Also includes a brief discussion of my own progress up to now, which concerns the formalization of category theory within a ZFC-like environment.

References in corpus (5)

• Algebraic surfaces and Seiberg-Witten invariants
• Moduli Spaces of Parabolic Higgs Bundles and Parabolic K(D) Pairs over Smooth Curves: I
• Moduli of Stable Parabolic Connections, Riemann-Hilbert correspondence and Geometry of Painlevé equation of type VI, Part I
• Higher homotopy groups of complements of complex hyperplane arrangements
• Asymptotiques de nombres de Betti d'hypersurfaces projectives réelles

Cited by in corpus (1)

• Geometry of moduli spaces of meromorphic connections on curves, Stokes data, wild nonabelian Hodge theory, hyperkahler manifolds, isomonodromic deformations, Painleve equations, and relations to Lie theory