Formalizing multi-graded Brenner-Schröer Proj schemes and dilatations of rings in Lean4

Documenti analoghi

• The mechanization of science illustrated by the Lean formalization of the multi-graded Proj construction
  di: Mayeux, Arnaud, et al.
  Pubblicazione: (2025)
• Formalizing $A_1^{(1)}$ Curve Neighborhoods in Lean 4
  di: Huang, Yihe, et al.
  Pubblicazione: (2026)
• On multi-graded Proj schemes
  di: Mayeux, Arnaud, et al.
  Pubblicazione: (2023)
• Formalizing CHSH Rigidity in Lean 4
  di: Zhao, Tianrun, et al.
  Pubblicazione: (2026)
• Formalizing Wu-Ritt Method in Lean 4
  di: Xiao, Yuxuan, et al.
  Pubblicazione: (2026)