The mechanization of science illustrated by the Lean formalization of the multi-graded Proj construction

Documenti analoghi

• Formalizing multi-graded Brenner-Schröer Proj schemes and dilatations of rings in Lean4
  di: Mayeux, Arnaud, et al.
  Pubblicazione: (2026)
• On multi-graded Proj schemes
  di: Mayeux, Arnaud, et al.
  Pubblicazione: (2023)
• Formalizing $A_1^{(1)}$ Curve Neighborhoods in Lean 4
  di: Huang, Yihe, et al.
  Pubblicazione: (2026)
• Topological and scheme-theoretic properties of the $D$-graded Proj construction
  di: Goebler, Felix
  Pubblicazione: (2026)
• A polyptych of multi-centered deformation spaces
  di: Dubouloz, Adrien, et al.
  Pubblicazione: (2024)