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

DOI10.1515/math-2015-0028zbMath1350.16042MaRDI QIDQ317652

Xiangui Zhao, Yang Zhang

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

zbMATH Keywords

Gröbner-Shirshov bases; signature-based algorithms; skew PBW extensions; skew solvable polynomial rings; solvable polynomial algebras

Mathematics Subject Classification ID

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

Evaluation and interpolation over multivariate skew polynomial rings

Uses Software

• Plural

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