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]

Mathematics in computer science
Volume: 14
Page(s): 19-33

Identifier