scientific article

zbMath0996.16034arXivmath/9901044MaRDI QIDQ2702049

Anne Heyworth

Publication date: 4 November 2002

Full work available at URL: https://arxiv.org/abs/math/9901044

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

presentationsGröbner basessemigroupspolynomial algebrasword problemBuchberger algorithmKnuth-Bendix completionscomplete rewrite systems

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Associative rings determined by universal properties (free algebras, coproducts, adjunction of inverses, etc.) (16S10) Ordinary and skew polynomial rings and semigroup rings (16S36) Free semigroups, generators and relations, word problems (20M05) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Grammars and rewriting systems (68Q42) Computational aspects of associative rings (general theory) (16Z05)

Related Items (10)

Letterplace ideals and non-commutative Gröbner bases. ⋮ Finite Gröbner-Shirshov bases for plactic algebras and biautomatic structures for plactic monoids. ⋮ Gröbner-Shirshov bases for some braid groups. ⋮ Complete involutive rewriting systems ⋮ Some categories associated with bases of the Kalman algebra ⋮ On finite complete rewriting systems, finite derivation type, and automaticity for homogeneous monoids ⋮ One-sided noncommutative Gröbner bases with applications to computing Green's relations ⋮ A plactic algebra action on bosonic particle configurations ⋮ Computing over K-modules ⋮ Regular Gröbner bases

This page was built for publication: