Modular Techniques for Noncommutative Gröbner Bases

Decker, Wolfram (Corresponding author); Eder, Christian; Levandovskyy, Viktor; Tiwari, Sharwan K.

Cham (ZG) : Springer International Publishing AG (2019, 2020)
Journal Article

In: Mathematics in computer science
Volume: 14
Page(s)/Article-Nr.: 19-33