Smalloverlap — A GAP 4 package for small overlap monoids and semigroups. SmallOverlap is a GAP package for computing with monoids and semigroups given by finite presentations satisfying small overlap conditions of the kind introduced by Remmers [Rem71]. It includes routines for testing whether presentations satisfy small overlap conditions, and an implementation of a new, highly efficient algorithm to solve the word problem for monoid and semigroup presentations satisfying the condition C(4) ...

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Kambites, Mark: Small overlap monoids. I: The word problem. (2009)