A signature-based algorithm for computing Gröbner-Shirshov bases in skew solvable polynomial rings.

From MaRDI portal