Signature Gröbner bases in free algebras over rings
From MaRDI portal
Publication:6060387
DOI10.1145/3597066.3597071zbMath1525.13039arXiv2302.06483OpenAlexW4383213640MaRDI QIDQ6060387
Clemens Hofstadler, Thibaut Verron
Publication date: 3 November 2023
Published in: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2302.06483
principal ideal domainsnoncommutative polynomialssignature Gröbner basescoefficients in ringsmixed commutative variables
Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)
Related Items
Cites Work
- Effective computation of strong Gröbner bases over Euclidean domains
- The ideal membership problem in non-commutative polynomial rings
- Letterplace ideals and non-commutative Gröbner bases.
- On the construction of Gröbner bases using syzygies
- New constructive methods in classical ideal theory
- Computing a Gröbner basis of a polynomial ideal over a Euclidean domain
- On the D-bases of polynomial ideals over principal ideal domains
- The diamond lemma for ring theory
- An introduction to commutative and noncommutative Gröbner bases
- A survey on signature-based algorithms for computing Gröbner bases
- Buchberger-Zacharias theory of multivariate Ore extensions
- Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra
- Formally verifying proofs for algebraic identities of matrices
- Formal proofs of operator identities by a single formal computation
- Effective Buchberger-Zacharias-Weispfenning theory of skew polynomial extensions of subbilateral coherent rings
- Buchberger-Weispfenning theory for effective associative rings
- Computing free non-commutative Gröbner bases over \(\mathbb{Z}\) with \textsc{Singular:Letterplace}
- Computing elements of certain form in ideals to prove properties of operators
- A new algorithm for computing staggered linear bases
- De Nugis Groebnerialium 4
- A new framework for computing Gröbner bases
- Solving Polynomial Equation Systems
- A survey of algebraic actions of the discrete Heisenberg group
- Standard Gröbner-Shirshov Bases of Free Algebras Over Rings, I
- Computing H-bases via minimal bases for syzygy modules
- On Signature-Based Gröbner Bases Over Euclidean Rings
- Compatible rewriting of noncommutative polynomials for proving operator identities
- Letterplace
- A signature-based algorithm for computing Gröbner bases in solvable polynomial algebras
- Certifying operator identities via noncommutative Gröbner bases
- A signature-based algorithm for computing the nondegenerate locus of a polynomial system
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
