Zacharias representation of effective associative rings
From MaRDI portal
Publication:2284968
DOI10.1016/j.jsc.2019.04.002zbMath1445.16044MaRDI QIDQ2284968
Publication date: 15 January 2020
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jsc.2019.04.002
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
De Nugis Groebnerialium 7: Janet, Gerdt, Tamari, Buchberger-Zacharias theory of multivariate Ore extensions, Toward involutive bases over effective rings, Relative Gröbner and involutive bases for ideals in quotient rings, De nugis Groebnerialium 6: Rump, Ufnarovski, Zacharias, Buchberger-Weispfenning theory for effective associative rings
Cites Work
- The ideal membership problem in non-commutative polynomial rings
- On the construction of Gröbner bases using syzygies
- On the D-bases of polynomial ideals over principal ideal domains
- On an installation of Buchberger's algorithm
- An introduction to commutative and noncommutative Gröbner bases
- Computational ideal theory in finitely generated extension rings
- Theory of non-commutative polynomials
- Buchberger-Zacharias theory of multivariate Ore extensions
- Effective Buchberger-Zacharias-Weispfenning theory of skew polynomial extensions of subbilateral coherent rings
- Transitivity for weak and strong Gröbner bases
- Gröbner bases in function rings -- a guide for introducing reduction relations to algebraic structures
- Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems
- Buchberger-Weispfenning theory for effective associative rings
- De Nugis Groebnerialium 4
- AN AXIOMATIC SETUP FOR ALGORITHMIC HOMOLOGICAL ALGEBRA AND AN ALTERNATIVE APPROACH TO LOCALIZATION
- A standard basis approach to syzygies of canonical curves.
- Solving Polynomial Equation Systems
- Gröbner Bases over Commutative Rings and Applications to Coding Theory
- Coherent and Strongly Discrete Rings in Type Theory
- Rings With a Weak Algorithm
- Noncommutative Unique Factorization Domains
- A Canonical Basis for the Ideals of a Polynomial Domain
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item