Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms

Saved in:

Bibliographic Details
Published in:	Electronic proceedings in theoretical computer science Vol. 402; pp. 18 - 33
Main Authors:	de Lima, Thaynara Arielly, Borges Avelar, Andréia, Galdino, André Luiz, Ayala-Rincón, Mauricio
Format:	Journal Article
Language:	English
Published:	23.04.2024
ISSN:	2075-2180, 2075-2180
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
ISSN:	2075-2180 2075-2180
DOI:	10.4204/EPTCS.402.5