Mayeux, A., & Zhang, J. (2026). Formalizing multi-graded Brenner-Schröer Proj schemes and dilatations of rings in Lean4.
Cita Chicago Style (17a ed.)Mayeux, Arnaud, y Jujian Zhang. Formalizing Multi-graded Brenner-Schröer Proj Schemes and Dilatations of Rings in Lean4. 2026.
Cita MLA (9a ed.)Mayeux, Arnaud, y Jujian Zhang. Formalizing Multi-graded Brenner-Schröer Proj Schemes and Dilatations of Rings in Lean4. 2026.
Precaución: Estas citas no son 100% exactas.