Publication:3808248

zbMath0659.16003MaRDI QIDQ3808248

Ferdinando Mora

Publication date: 1986

zbMATH Keywords

ideals; standard bases; noncommutative polynomial ring; finite Gröbner basis; semi-decidable algorithm

Mathematics Subject Classification ID

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, Weakly ordered multiplicative basis of an algebra related to quiver theory., Transforming problems from analysis to algebra: a case study in linear boundary 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