TY  - RPRT
TI  - Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms
AU  - Thaynara Arielly de Lima
AU  - Andréia Borges Avelar
AU  - André Luiz Galdino
AU  - Mauricio Ayala-Rincón
PY  - 2024
DO  - 10.4204/eptcs.402.5
UR  - https://arxiv.org/abs/2404.14920
ID  - 2404.14920
ER  -