Computing free non-commutative Gröbner bases over Z with Singular:Letterplace

Levandovskyy, Viktor (Corresponding author); Metzlaff, Tobias (Corresponding author); Abou Zeid, Karim (Corresponding author)

Amsterdam : Elsevier (2022, 2023)
Journal Article

In: Journal of symbolic computation
Volume: 115
Page(s)/Article-Nr.: 201-222