APA-Zitierstil (7. Ausg.)

Huang, Y., Cui, S., Wang, J., & Zhang, J. (2026). Formalizing $A_1^{(1)}$ Curve Neighborhoods in Lean 4.

Chicago-Zitierstil (17. Ausg.)

Huang, Yihe, Sizhe Cui, Jiaqi Wang, und Jujian Zhang. Formalizing $A_1^{(1)}$ Curve Neighborhoods in Lean 4. 2026.

MLA-Zitierstil (9. Ausg.)

Huang, Yihe, et al. Formalizing $A_1^{(1)}$ Curve Neighborhoods in Lean 4. 2026.