Constructing matrix representations of finitely presented groups
Publication:1192225
DOI10.1016/S0747-7171(08)80095-8zbMath0789.20002MaRDI QIDQ1192225
Publication date: 27 September 1992
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
algorithm; finiteness; efficiency; computational methods; matrix representation; finitely presented groups; implementation; permutation representation; computational group theory; finite set of generators; factor groups; enumeration of cosets; soluble quotient algorithm; Todd-Coxeter method
68W30: Symbolic computation and algebraic computation
20F05: Generators, relations, and presentations of groups
20F10: Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)
20-04: Software, source code, etc. for problems pertaining to group theory
Related Items
Uses Software
Cites Work