Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms

Thaynara Arielly de Lima; Avelar Andréia Borges; André Luiz Galdino; M. Ayala-Rincón

doi:10.4204/EPTCS.402.5

Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms

Thaynara Arielly de Lima
, Avelar Andréia Borges
, André Luiz Galdino
, M. Ayala-Rincón

Research Institute for Symbolic Computation

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	Electronic Proceedings in Theoretical Computer Science
Editors	Temur Kutsia, Daniel Ventura, David Monniaux and José F. Morales
Publisher	Open Publishing Association
Pages	18–33
Number of pages	16
Volume	402
ISBN (Print)	2075-2180
DOIs	https://doi.org/10.4204/EPTCS.402.5
Publication status	Published - 23 Apr 2024

Publication series

Name	Electronic Proceedings in Theoretical Computer Science, EPTCS
ISSN (Print)	2075-2180

Fields of science

101 Mathematics
101001 Algebra
101005 Computer algebra
101009 Geometry
101012 Combinatorics
101013 Mathematical logic
101020 Technical mathematics

JKU Focus areas

Digital Transformation

Access to Document

10.4204/EPTCS.402.5

Cite this

de Lima, T. A., Borges, A. A., Galdino, A. L., & Ayala-Rincón, M. (2024). Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms. In Temur Kutsia, Daniel Ventura, David Monniaux and José F. Morales (Ed.), Electronic Proceedings in Theoretical Computer Science (Vol. 402, pp. 18–33). (Electronic Proceedings in Theoretical Computer Science, EPTCS). Open Publishing Association. https://doi.org/10.4204/EPTCS.402.5

de Lima, Thaynara Arielly ; Borges, Avelar Andréia ; Galdino, André Luiz et al. / Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms. Electronic Proceedings in Theoretical Computer Science. editor / Temur Kutsia, Daniel Ventura, David Monniaux and José F. Morales. Vol. 402 Open Publishing Association, 2024. pp. 18–33 (Electronic Proceedings in Theoretical Computer Science, EPTCS).

@inproceedings{f2e0a442929e4c558e724d628f8be203,

title = "Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms",

author = "\{de Lima\}, \{Thaynara Arielly\} and Borges, \{Avelar Andr{\'e}ia\} and Galdino, \{Andr{\'e} Luiz\} and M. Ayala-Rinc{\'o}n",

year = "2024",

month = apr,

day = "23",

doi = "10.4204/EPTCS.402.5",

language = "English",

isbn = "2075-2180",

volume = "402",

series = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

publisher = "Open Publishing Association",

pages = "18–33",

editor = "\{Temur Kutsia, Daniel Ventura, David Monniaux and Jos{\'e} F. Morales\}",

booktitle = "Electronic Proceedings in Theoretical Computer Science",

}

de Lima, TA, Borges, AA, Galdino, AL & Ayala-Rincón, M 2024, Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms. in Temur Kutsia, Daniel Ventura, David Monniaux and José F. Morales (ed.), Electronic Proceedings in Theoretical Computer Science. vol. 402, Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing Association, pp. 18–33. https://doi.org/10.4204/EPTCS.402.5

Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms. / de Lima, Thaynara Arielly; Borges, Avelar Andréia; Galdino, André Luiz et al.
Electronic Proceedings in Theoretical Computer Science. ed. / Temur Kutsia, Daniel Ventura, David Monniaux and José F. Morales. Vol. 402 Open Publishing Association, 2024. p. 18–33 (Electronic Proceedings in Theoretical Computer Science, EPTCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

TY - GEN

T1 - Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms

AU - de Lima, Thaynara Arielly

AU - Borges, Avelar Andréia

AU - Galdino, André Luiz

AU - Ayala-Rincón, M.

PY - 2024/4/23

Y1 - 2024/4/23

UR - https://www.scopus.com/pages/publications/85191658590

U2 - 10.4204/EPTCS.402.5

DO - 10.4204/EPTCS.402.5

M3 - Conference proceedings

SN - 2075-2180

VL - 402

T3 - Electronic Proceedings in Theoretical Computer Science, EPTCS

SP - 18

EP - 33

BT - Electronic Proceedings in Theoretical Computer Science

A2 - Temur Kutsia, Daniel Ventura, David Monniaux and José F. Morales, null

PB - Open Publishing Association

ER -

de Lima TA, Borges AA, Galdino AL, Ayala-Rincón M. Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms. In Temur Kutsia, Daniel Ventura, David Monniaux and José F. Morales, editor, Electronic Proceedings in Theoretical Computer Science. Vol. 402. Open Publishing Association. 2024. p. 18–33. (Electronic Proceedings in Theoretical Computer Science, EPTCS). doi: 10.4204/EPTCS.402.5

Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms

Publication series

Fields of science

JKU Focus areas

Access to Document

Other files and links

Cite this