Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms

Uložené v:

Podrobná bibliografia
Vydané v:	Electronic proceedings in theoretical computer science Ročník 402; s. 18 - 33
Hlavní autori:	de Lima, Thaynara Arielly, Borges Avelar, Andréia, Galdino, André Luiz, Ayala-Rincón, Mauricio
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	23.04.2024
ISSN:	2075-2180, 2075-2180
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

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