Computing free non-commutative Gröbner bases over \(\mathbb{Z}\) with \textsc{Singular:Letterplace}

DOI10.1016/j.jsc.2022.08.007WikidataQ113869791 ScholiaQ113869791MaRDI QIDQ2674006

Viktor Levandovskyy, Tobias Metzlaff, Karim Abou Zeid

Publication date: 22 September 2022

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jsc.2022.08.007

zbMATH Keywords

algorithms; Gröbner bases; non-commutative algebra; coefficients in rings

Mathematics Subject Classification ID

68Wxx: Algorithms in computer science

13Pxx: Computational aspects and applications of commutative rings

16Zxx: Computational aspects of associative rings

Uses Software

• homalg
• Plural
• SageMath
• SINGULAR
• Felix
• JAS
• olga.lib
• Letterplace
• OSCAR