An introduction to commutative and noncommutative Gröbner bases

DOI10.1016/0304-3975(94)90283-6zbMath0824.68056OpenAlexW2039864462MaRDI QIDQ1341746

Publication date: 9 January 1995

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(94)90283-6

zbMATH Keywords

Gröbner bases Buchberger algorithm

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items

Signature Gröbner bases in free algebras over rings, A Characterization of Perfect Strategies for Mirror Games, Axioms for a theory of signature bases, Context-free languages and associative algebras with algebraic Hilbert series, On the algebras Uq±(AN) : from a constructive-computational viewpoint, Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra, Buchberger-Weispfenning theory for effective associative rings, Letterplace ideals and non-commutative Gröbner bases., The Big Mother of all Dualities: Möller Algorithm, The Membership Problem for Ideals of Binomial Skew Polynomial Rings, Some complexity results for prefix Gröbner bases in free monoid rings, On quantum general linear groups, Groups and Lie algebras corresponding to the Yang-Baxter equations, Veronese and Segre morphisms between non-commutative projective spaces, Reduction operators and completion of rewriting systems, Generalized down-up algebras revisited from a viewpoint of Gröbner basis theory, From monomials to words to graphs., Algorithmic operator algebras via normal forms in tensor rings, Computing homology using generalized Gröbner bases, Modular techniques for noncommutative Gröbner bases, On real one-sided ideals in a free algebra, Artin-Schelter regular algebras of dimension five with two generators., Computing free non-commutative Gröbner bases over $\mathbb{Z}$ with \textsc{Singular:Letterplace}, Meromorphic continuation approach to noncommutative geometry, Recognizing the Semiprimitivity of ℕ-graded Algebras via Gröbner Bases, Noncommutative algebras, context-free grammars and algebraic Hilbert series, Computing elements of certain form in ideals to prove properties of operators, Transforming problems from analysis to algebra: a case study in linear boundary problems, Minimal involutive bases, A finiteness condition for algebras over coordinate rings of varieties., Regularity and $K_0$-group of quadric solvable polynomial algebras., Gröbner basis cryptosystems, Computing Polynomial Solutions and Annihilators of Integro-Differential Operators with Polynomial Coefficients, Nonarchimedean analytic cyclic homology, Segre products and Segre morphisms in a class of Yang-Baxter algebras, An extension of Gröbner basis theory to indexed polynomials without eliminations, Solving and factoring boundary problems for linear ordinary differential equations in differential algebras, Geometry of pure spinor formalism in superstring theory, The General PBW Property, On computing Gröbner bases in rings of differential operators, Formal proofs of operator identities by a single formal computation, A lattice formulation of the noncommutative F4 procedure, Semi-ring Based Gröbner–Shirshov Bases over a Noetherian Valuation Ring, Noncommutative Gröbner Bases: Applications and Generalizations, Graded Calabi Yau algebras of dimension 3., Tree polynomials and non-associative Gröbner bases, Gröbner bases of ideals invariant under endomorphisms., Non-associative Gröbner bases, Gröbner bases in function rings -- a guide for introducing reduction relations to algebraic structures, Gröbner-Shirshov bases, conformal algebras, and pseudo-algebras., An elimination lemma for algebras with PBW bases, Basic Module Theory over Non-commutative Rings with Computational Aspects of Operator Algebras, Poincaré-Birkhoff-Witt theorem for Leibniz $n$-algebras, Algebraic proof methods for identities of matrices and operators: improvements of Hartwig's triple reverse order law, Non-commutative Gröbner bases for commutative algebras, Monomial bases and pre-Lie structure for free Lie algebras, Valuation extensions of algebras defined by monic Gröbner bases., Standard Gröbner-Shirshov Bases of Free Algebras Over Rings, I, Lifting Gröbner Bases from a Class of Algebras, Noncommutative Gröbner Basis over a Divisible and Annihilable Ring, POINCARE-HILBERT SERIES, PI, AND NOETHERIANITY OF THE ENVELOPING OF THE RIT ALGEBRA, A generalized Ufnarovski graph, Differential algebra for derivations with nontrivial commutation rules, One-sided noncommutative Gröbner bases with applications to computing Green's relations, Convergent presentations and polygraphic resolutions of associative algebras, Computing with quantized enveloping algebras: PBW-type bases, highest-weight modules and $R$-matrices, Filtered-graded transfer of groebner basis computation in solvable polynomial algebras, Looking for Gröbner basis theory for (almost) skew 2-nomial algebras., Toward involutive bases over effective rings, The symmetric group given by a Gröbner basis, Construction of free differential algebras by extending Gröbner-Shirshov bases, Parafree augmented algebras and Gröbner-Shirshov bases for complete augmented algebras, Computation of minimal homogeneous generating sets and minimal standard bases for ideals of free algebras, Syzygies among reduction operators, Zacharias representation of effective associative rings, PBW deformations of a Fomin-Kirillov algebra and other examples, SDP Relaxations for Non-Commutative Polynomial Optimization, Algebras and varieties, Topological rewriting systems applied to standard bases and syntactic algebras, Weight ideals associated to regular and log-linear arrays., Gröbner bases in universal enveloping algebras of Leibniz algebras, Gröbner theory and tropical geometry on spherical varieties, NONCOMMUTATIVE GRÖBNER BASES FOR THE COMMUTATOR IDEAL, Degree bounds for Gröbner bases in algebras of solvable type, On the Calculation of gl.dim G^ℕ(A) and ${\rm gl.dim}\, \widetilde{A}$ by Using Gröbner Bases, Common Divisors of Solvable Polynomials in JAS, Relating rewriting techniques on monoids and rings: congruences on monoids and ideals in monoid rings, A Symbolic Framework for Operations on Linear Boundary Problems, On infinite Gröbner bases in free algebras, On Gröbner bases of noncommutative power series, Computer assistance for ``discovering formulas in system engineering and operator theory, A primer on ideal theoretical operation in non-commutative polynomial rings, Noncommutative Gröbner Bases over Rings, The structure of connected (graded) Hopf algebras, The Noetherian property in some quadratic algebras, Some remarks on the inverse systems of polynomial modules, Some properties of Borel ideals, Elimination of variables in linear solvable polynomial algebras and $\delta$-holonomicity, Computing Gröbner bases by FGLM techniques in a non-commutative setting, Reduction of permutation-invariant polynomials. A noncommutative case study, De nugis Groebnerialium 6: Rump, Ufnarovski, Zacharias, Regular Gröbner bases, Test for Leibniz $n$-algebra structure

Cites Work