A generic and executable formalization of signature-based Gröbner basis algorithms

Alexander Maletzky

doi:10.1016/j.jsc.2020.12.001

A generic and executable formalization of signature-based Gröbner basis algorithms

Alexander Maletzky

Research Institute for Symbolic Computation

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	23-47
Number of pages	25
Journal	Journal of Symbolic Computation
Volume	106
DOIs	https://doi.org/10.1016/j.jsc.2020.12.001
Publication status	Published - 01 Sept 2021

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.1016/j.jsc.2020.12.001

Cite this

@article{334c3ba10ec14adf9482b43d100b9a5b,

title = "A generic and executable formalization of signature-based Gr{\"o}bner basis algorithms",

author = "Alexander Maletzky",

year = "2021",

month = sep,

day = "1",

doi = "10.1016/j.jsc.2020.12.001",

language = "English",

volume = "106",

pages = "23--47",

journal = "Journal of Symbolic Computation",

issn = "1095-855X",

publisher = "Elsevier BV",

}

TY - JOUR

T1 - A generic and executable formalization of signature-based Gröbner basis algorithms

AU - Maletzky, Alexander

PY - 2021/9/1

Y1 - 2021/9/1

UR - https://arxiv.org/abs/2012.02239

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

U2 - 10.1016/j.jsc.2020.12.001

DO - 10.1016/j.jsc.2020.12.001

M3 - Article

SN - 1095-855X

VL - 106

SP - 23

EP - 47

JO - Journal of Symbolic Computation

JF - Journal of Symbolic Computation

ER -

A generic and executable formalization of signature-based Gröbner basis algorithms

Fields of science

JKU Focus areas

Access to Document

Other files and links

Cite this