de Lima, T. A., Avelar, A. B., Galdino, A. L., & Ayala-Rincón, M. (2024). Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms.
Chicago-Zitierstil (17. Ausg.)de Lima, Thaynara Arielly, Andréia Borges Avelar, André Luiz Galdino, und Mauricio Ayala-Rincón. Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms. 2024.
MLA-Zitierstil (9. Ausg.)de Lima, Thaynara Arielly, et al. Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms. 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.