Baek, J., & Lee, S. (2024). Formalizing Mason-Stothers Theorem and its Corollaries in Lean 4.
Chicago-Zitierstil (17. Ausg.)Baek, Jineon, und Seewoo Lee. Formalizing Mason-Stothers Theorem and Its Corollaries in Lean 4. 2024.
MLA-Zitierstil (9. Ausg.)Baek, Jineon, und Seewoo Lee. Formalizing Mason-Stothers Theorem and Its Corollaries in Lean 4. 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.