author = {de Lima Thaynara Arielly and Borges Avelar Andréia and Galdino André Luiz and Ayala-Rincón Mauricio},
title = {{Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms}},
booktitle = {{Electronic Proceedings in Theoretical Computer Science}},
language = {english},
volume = {402},
pages = {18–33--18–33},
publisher = {Open Publishing Association},
isbn_issn = { ISSN 2075-2180},
year = {2024},
editor = {Temur Kutsia and Daniel Ventura and David Monniaux & José F. Morales},
refereed = {yes},
length = {0},
url = {http://dx.doi.org/10.4204/EPTCS.402.5}