Examples

This page contains various links that explain how the Semigroups package for GAP and/or libsemigroups_pybind11 have been used for research and scholarship.

Please use the menu at the left or the links below:

• Short presentations for transformation monoids
• Verifying presentations for sporadic simple groups
• Finding complete rewriting systems for 1-relation monoids