Found 1 document(s)
Page 1 of 1
-
Gröbner bases, in their noncommutative version, and word reversing are methods for solving the word problem of a presented monoid, and both rely on iteratively completing the initial list of relations. Simple examples ma...