Non-commutative Gröbner bases in algebras of solvable type
From MaRDI portal
DOI10.1016/S0747-7171(08)80003-XzbMATH Open0715.16010OpenAlexW2069738583MaRDI QIDQ752147FDOQ752147
Authors: Volker Weispfenning, Abdelilah Kandri Rody 
Publication date: 1990
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0747-7171(08)80003-x
Recommendations
algorithmsword problemenveloping algebrasfree associative algebrascommutation relationsfree commutative monoidsalgebras of solvable typeideal-membership problemiterated Ore differential extensionsnon-commutative rings of solvable typepolynomial rings of solvable typeleft, right and two-sided Gröbner bases
Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Rings of differential operators (associative algebraic aspects) (16S32) Ordinary and skew polynomial rings and semigroup rings (16S36) Associative rings determined by universal properties (free algebras, coproducts, adjunction of inverses, etc.) (16S10) Word problems, etc. in computability and recursion theory (03D40) Software, source code, etc. for problems pertaining to associative rings and algebras (16-04)
Cites Work
- Algorithm 628
- Title not available (Why is that?)
- The diamond lemma for ring theory
- Rational sets in commutative monoids
- Title not available (Why is that?)
- Title not available (Why is that?)
- An extension of Buchberger's algorithm and calculations in enveloping fields of Lie algebras
- The complexity of the word problems for commutative semigroups and polynomial ideals
- Title not available (Why is that?)
- Computing a Gröbner basis of a polynomial ideal over a Euclidean domain
- Title not available (Why is that?)
- The word problem
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (only showing first 100 items - show all)
- Gelfand-Kirillov dimension of differential difference algebras.
- Creative telescoping for holonomic functions
- Effective Buchberger-Zacharias-Weispfenning theory of skew polynomial extensions of subbilateral coherent rings
- Title not available (Why is that?)
- A refutational approach to geometry theorem proving
- Factoring and decomposing a class of linear functional systems
- Computation of bases of free modules over the Weyl algebras.
- Noetherian Properties of Skew Polynomial Rings with Binomial Relations
- Modular techniques for noncommutative Gröbner bases
- Gelfand-Kirillov dimension of multi-filtered algebras
- Gröbner bases in function rings -- a guide for introducing reduction relations to algebraic structures
- Constructive \(D\)-module theory with \texttt{Singular}
- Computing dimension and independent sets for polynomial ideals
- Identities for families of orthogonal polynomials and special functions
- Regularity and \(K_0\)-group of quadric solvable polynomial algebras.
- An algorithm of computing \(b\)-functions
- Recent progress in an algebraic analysis approach to linear systems
- Algebraic theory of linear systems: a survey
- Gröbner bases in universal enveloping algebras of Leibniz algebras
- An introduction to commutative and noncommutative Gröbner bases
- Filtered-graded transfer of groebner basis computation in solvable polynomial algebras
- A survey on signature-based algorithms for computing Gröbner bases
- Involutive bases of polynomial ideals
- Minimal involutive bases
- Standard Gröbner-Shirshov Bases of Free Algebras Over Rings, I
- Looking for Gröbner basis theory for (almost) skew 2-nomial algebras.
- Gröbner bases with coefficients in rings
- Multiplicity computation of modules overk[x1,…,xn] and an application to weyl algebras
- On harmonic elements for semi-simple Lie algebras
- Title not available (Why is that?)
- Re-filtering and exactness of the Gelfand-Kirillov dimension
- Gröbner-Shirshov bases and their calculation
- Computational ideal theory in finitely generated extension rings
- Factoring systems of linear PDEs with finite-dimensional solution spaces
- Gröbner bases for \(D\)-modules on a non-singular affine algebraic variety
- Elimination orderings and localization in PBW algebras.
- Weight ideals associated to regular and log-linear arrays.
- Preconditioning strategies for asymptotically ill-conditioned block Toeplitz systems
- Constructibility of the set of polynomials with a fixed Bernstein-Sato polynomial: an algorithmic approach.
- Algebraic analysis of Siersma's non-isolated hypersurface singularities
- Two applications of noncommutative Groebner bases
- Relating rewriting techniques on monoids and rings: congruences on monoids and ideals in monoid rings
- Comprehensive Gröbner bases
- On the Noetherianity of some associative finitely presented algebras
- Rational solutions of Riccati-like partial differential equations
- Gröbner bases of associative algebras and the Hochschild cohomology
- Gröbner bases and syzygies on bimodules over PBW algebras
- Formal solutions of differential equations
- A signature-based algorithm for computing Gröbner-Shirshov bases in skew solvable polynomial rings.
- Degree bounds for Gröbner bases in algebras of solvable type
- An algorithm for the construction of matrix representations for finitely presented non-commutative algebras
- On noncommutative finite factorization domains
- A combinatorial approach to involution and \(\delta \)-regularity. I: Involutive bases in polynomial algebras of solvable type
- Computing a Gröbner basis of a polynomial ideal over a Euclidean domain
- Detecting unnecessary reductions in an involutive basis computation
- Noncommutative polynomial algebras of solvable type and their modules. Basic constructive-computational theory and methods
- Why you cannot even hope to use Gröbner bases in cryptography: an eternal golden braid of failures
- PRIMALITY TEST IN ITERATED ORE EXTENSIONS
- Standard bases for modules over polynomial subalgebras
- Algorithmic computation of local cohomology modules and the local cohomological dimension of algebraic varieties
- Differential algebra for derivations with nontrivial commutation rules
- A general framework for Noetherian well ordered polynomial reductions
- Computing Gröbner bases by FGLM techniques in a non-commutative setting
- Gröbner bases and involutive methods for algebraic and differential equations
- Some homological properties of skew PBW extensions.
- Gröbner bases and logarithmic \(\mathcal D\)-modules.
- Letterplace ideals and non-commutative Gröbner bases.
- Buchberger-Zacharias theory of multivariate Ore extensions
- Solving Linear Boundary Value Problems Via Non-commutative Gröbner Bases
- On the computation of Bernstein-Sato ideals.
- Reduction of permutation-invariant polynomials. A noncommutative case study
- Armendariz modules over skew PBW extensions
- A module minimization approach to Gabidulin decoding via interpolation
- Geometry machines: from AI to SMC
- There is no efficient reverse derivation mode for discrete derivatives
- Evaluation and interpolation over multivariate skew polynomial rings
- Associated prime ideals over skew PBW extensions
- Structural properties of the quantized matrix algebra \(D_q (n)\) established by means of Gröbner-Shirshov basis theory
- De Nugis Groebnerialium 7: Janet, Gerdt, Tamari
- Comprehensive Gröbner systems in PBW algebras, Bernstein-Sato ideals and holonomic \(D\)-modules
- A classification of ring elements in skew PBW extensions over compatible rings
- Buchberger-Weispfenning theory for effective associative rings
- Toward involutive bases over effective rings
- Generalized down-up algebras revisited from a viewpoint of Gröbner basis theory
- Critical cones of characteristic varieties
- Hilbert polynomal of modules over homogeneous solvable polynomial algebras
- On the algebras Uq±(AN) : from a constructive-computational viewpoint
- Some remarks about minimal prime ideals of skew Poincaré-Birkhoff-Witt extensions
- Radicals and Köthe's conjecture for skew PBW extensions
- On the standard quantized matrix algebra Mq(n): From a constructive-computational viewpoint
- Computing with quantized enveloping algebras: PBW-type bases, highest-weight modules and \(R\)-matrices
- How to obtain lattices from \((f,\sigma,\delta)\)-codes via a generalization of construction A
- Why you cannot even hope to use Ore algebras in cryptography
- Constructive arithmetics in Ore localizations of domains
- Veronese and Segre morphisms between non-commutative projective spaces
- Common Divisors of Solvable Polynomials in JAS
- Basic module theory over non-commutative rings with computational aspects of operator algebras
- Lifting Gröbner Bases from a Class of Algebras
- Effective algebraic analysis approach to linear systems over Ore algebras
- On the uniform dimension and the associated primes of skew PBW extensions
This page was built for publication: Non-commutative Gröbner bases in algebras of solvable type
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q752147)
