Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms

Uloženo v:

Podrobná bibliografie
Vydáno v:	Electronic proceedings in theoretical computer science Ročník 402; s. 18 - 33
Hlavní autoři:	de Lima, Thaynara Arielly, Borges Avelar, Andréia, Galdino, André Luiz, Ayala-Rincón, Mauricio
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	23.04.2024
ISSN:	2075-2180, 2075-2180
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

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