Lean4 Computer Science > Logic in Computer Science
No mentions found
This entity hasn't been tracked yet, or Iris is still building its knowledge base.
Related Articles from SNS
Formalizing multi-graded Brenner-Schr\"oer Proj schemes and dilatations of rings in Lean4
Computer Science > Logic in Computer Science [Submitted on 31 May 2026] Title:Formalizing multi-graded Brenner-Schröer Proj schemes and dilatations of rings in Lean4 View PDFAbstract:We present a detailed formalization in Lean4 of some multigraded algebraic geometry constructions, focusing on the Brenner--Schröer Proj construction and algebraic dilatations of rings. References & Citations Loading...