Publication:3808248
From MaRDI portal
zbMath0659.16003MaRDI QIDQ3808248
Publication date: 1986
ideals; standard bases; noncommutative polynomial ring; finite Gröbner basis; semi-decidable algorithm
68Q25: Analysis of algorithms and problem complexity
16W60: Valuations, completions, formal power series and related constructions (associative rings and algebras)
16-04: Software, source code, etc. for problems pertaining to associative rings and algebras
16Dxx: Modules, bimodules and ideals in associative algebras
Related Items
One-sided noncommutative Gröbner bases with applications to computing Green's relations, Using noncommutative Gröbner bases in solving partially prescribed matrix inverse completion problems, Gröbner-Shirshov bases for quantum enveloping algebras, Constructions of standard bases of right \(K\langle A\rangle\)- modules, Non-commutative Gröbner bases in algebras of solvable type, Letterplace ideals and non-commutative Gröbner bases., Some complexity results for prefix Gröbner bases in free monoid rings, An algorithm for the construction of matrix representations for finitely presented non-commutative algebras, Solving and factoring boundary problems for linear ordinary differential equations in differential algebras, Algebraic systems of matrices and Gröbner basis theory, History and basic features of the critical-pair/completion procedure, An extension of Buchberger's algorithm and calculations in enveloping fields of Lie algebras, Comprehensive Gröbner bases, Relating rewriting techniques on monoids and rings: congruences on monoids and ideals in monoid rings, On infinite Gröbner bases in free algebras, Computer assistance for ``discovering formulas in system engineering and operator theory, An introduction to commutative and noncommutative Gröbner bases, Multiplicative bases, Gröbner bases, and right Gröbner bases, A new symbolic method for solving linear two-point boundary value problems on the level of operators, Non-associative Gröbner bases, Complete involutive rewriting systems, Characteristic modules of dual extensions and Gröbner bases., Reduction relations for monoid semirings
