scientific article
From MaRDI portal
Publication:3808248
zbMath0659.16003MaRDI QIDQ3808248
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Valuations, completions, formal power series and related constructions (associative rings and algebras) (16W60) Software, source code, etc. for problems pertaining to associative rings and algebras (16-04) Modules, bimodules and ideals in associative algebras (16Dxx)
Related Items
Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra ⋮ An introduction to commutative and noncommutative Gröbner bases ⋮ Letterplace ideals and non-commutative Gröbner bases. ⋮ Some complexity results for prefix Gröbner bases in free monoid rings ⋮ History and basic features of the critical-pair/completion procedure ⋮ Reduction relations for monoid semirings ⋮ An extension of Buchberger's algorithm and calculations in enveloping fields of Lie algebras ⋮ Unification properties of commutative theories: A categorical treatment ⋮ Signature Gröbner bases in free algebras over rings ⋮ A Characterization of Perfect Strategies for Mirror Games ⋮ Weakly ordered multiplicative basis of an algebra related to quiver theory. ⋮ Two-sided noncommutative Gröbner basis on quiver algebras ⋮ Transforming problems from analysis to algebra: a case study in linear boundary problems ⋮ Noncommutative nullstellensätze and perfect games ⋮ An algorithm for the construction of matrix representations for finitely presented non-commutative algebras ⋮ Different approaches to the complex of three Dirac operators ⋮ Solving and factoring boundary problems for linear ordinary differential equations in differential algebras ⋮ 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 ⋮ Gröbner-Shirshov bases for quantum enveloping algebras ⋮ Theorem proving with group presentations: Examples and questions ⋮ Comprehensive Gröbner bases ⋮ Constructions of standard bases of right \(K\langle A\rangle\)- modules ⋮ Gröbner–Shirshov bases and their calculation ⋮ 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 ⋮ Algebraic systems of matrices and Gröbner basis theory ⋮ Non-commutative Gröbner bases in algebras of solvable type ⋮ 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 ⋮ Multiplicative bases, Gröbner bases, and right Gröbner bases ⋮ Characteristic modules of dual extensions and Gröbner bases.