A signature-based algorithm for computing Gröbner-Shirshov bases in skew solvable polynomial rings.
From MaRDI portal
Publication:317652
DOI10.1515/math-2015-0028zbMath1350.16042MaRDI QIDQ317652
Publication date: 4 October 2016
Published in: Open Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1515/math-2015-0028
Gröbner-Shirshov bases; signature-based algorithms; skew PBW extensions; skew solvable polynomial rings; solvable polynomial algebras
16S36: Ordinary and skew polynomial rings and semigroup rings
13P10: Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)
16Z05: Computational aspects of associative rings (general theory)
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On computing Gröbner bases in rings of differential operators
- Non-commutative Gröbner bases in algebras of solvable type
- Non-commutative elimination in Ore algebras proves multivariate identities
- A new efficient algorithm for computing Gröbner bases \((F_4)\)
- On computing Gröbner bases in rings of differential operators with coefficients in a ring
- Gelfand–Kirillov dimension of differential difference algebras
- A new incremental algorithm for computing Groebner bases
- Projective modules and Gröbner bases for skew PBW extensions
- Catenarity in a class of iterated skew polynomial rings
- A new framework for computing Gröbner bases
- Some New Results on Gröbner-Shirshov Bases
- A signature-based algorithm for computing Gröbner bases in solvable polynomial algebras