Publication:4843623
From MaRDI portal
zbMath0836.08003MaRDI QIDQ4843623
No author found.
Publication date: 2 May 1996
finitely presented monoids; coset enumeration; double coset; Todd-Coxeter method; vector enumeration
68W30: Symbolic computation and algebraic computation
20M20: Semigroups of transformations, relations, partitions, etc.
20M05: Free semigroups, generators and relations, word problems
20-04: Software, source code, etc. for problems pertaining to group theory
20M30: Representation of semigroups; actions of semigroups on sets
08A50: Word problems (aspects of algebraic structures)
08-04: Software, source code, etc. for problems pertaining to general algebraic systems
Related Items