A signature-based algorithm for computing Gröbner-Shirshov bases in skew solvable polynomial rings
A signature-based algorithm for computing Gröbner-Shirshov bases in skew solvable polynomial rings
Abstract Signature-based algorithms are efficient algorithms for computing Gröbner-Shirshov bases in commutative polynomial rings, and some noncommutative rings. In this paper, we first define skew solvable polynomial rings, which are generalizations of solvable polynomial algebras and (skew) PBW extensions. Then we present a signature-based algorithm for computing Gröbner-Shirshov bases in …