Double coset enumeration
From MaRDI portal
Publication:1192224
DOI10.1016/S0747-7171(08)80094-6zbMath0789.20032MaRDI QIDQ1192224
Publication date: 27 September 1992
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
algorithm; double cosets; word problem; finitely presented groups; coset enumeration; implementations; coset table
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
Distance-transitive representations of the sporadic groups, The Primitive Distance-Transitive Representations of the Fischer Groups, Computing double cosets in soluble groups, Constructing matrix representations of finitely presented groups
Uses Software
Cites Work