Constructing matrix representations of finitely presented groups
From MaRDI portal
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
DB lookup for MSC labels failed
Uses Software
Cites Work