lhsoicher/tcenum
Todd-Coxeter coset enumerator using HLT with lookahead, together with presentations for the sporadic simple groups and their automorphism groups.
正在读取项目信息…
Todd-Coxeter coset enumerator using HLT with lookahead, together with presentations for the sporadic simple groups and their automorphism groups.