Zacharias representation of effective associative rings
From MaRDI portal
Publication:2284968
DOI10.1016/j.jsc.2019.04.002zbMath1445.16044OpenAlexW2943118667MaRDI 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
Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Computational aspects of associative rings (general theory) (16Z05)
Related Items (6)
Buchberger-Weispfenning theory for effective associative rings ⋮ 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
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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
This page was built for publication: Zacharias representation of effective associative rings
