Publication:4227324

zbMath0922.13020MaRDI QIDQ4227324

Ulla Koppenhagen, Ernst W. Mayr

Publication date: 14 October 1999

zbMATH Keywords

reduced Gröbner basis of binomial ideals; uniform word problem in commutative semigroups

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

20M05: Free semigroups, generators and relations, word problems

13P10: Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)

Related Items

Optimal algorithms for the coverability, the subword, the containment, and the equivalence problems for commutative semigroups.