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)
Fachzeitschriftenartikel

In: Journal of symbolic computation
Band: 115
Seite(n)/Artikel-Nr.: 201-222