Right Buchberger Algorithm over Bijective Skew PBW Extensions
From MaRDI portal
Publication:5862339
DOI10.3233/FI-2021-2093zbMath1484.16055arXiv2101.12563WikidataQ114038163 ScholiaQ114038163MaRDI QIDQ5862339
Publication date: 9 March 2022
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2101.12563
Gröbner bases; skew PBW extensions; Buchberger algorithm; non-commutative computational algebra; SPBWE library
16S36: Ordinary and skew polynomial rings and semigroup rings
16Z05: Computational aspects of associative rings (general theory)
Uses Software