A compact representation for permutation groups
Journal of Algorithms
STOC '87 Proceedings of the nineteenth annual ACM symposium on Theory of computing
On the degree of transitivity of permutation groups: A short proof
Journal of Combinatorial Theory Series A
A new base change algorithm for permutation groups
SIAM Journal on Computing
A random base change algorithm for permutation groups
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Local expansion of vertex-transitive graphs and random generation in finite groups
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Bounded round interactive proofs in finite groups
SIAM Journal on Discrete Mathematics
A strong generating test and short presentations for permutation groups
Journal of Symbolic Computation - Special issue on computational group theory: part 2
Computation with permutation groups
SYMSAC '71 Proceedings of the second ACM symposium on Symbolic and algebraic manipulation
Nearly linear time algorithms for permutation groups with a small base
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
Structure forest and composition factors for small base groups in nearly linear time
STOC '92 Proceedings of the twenty-fourth annual ACM symposium on Theory of computing
Deciding finiteness of matrix groups in Las Vegas polynomial time
SODA '92 Proceedings of the third annual ACM-SIAM symposium on Discrete algorithms
A fast cyclic base change for permutation groups
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
An elementary algorithm for computing the composition factors of a permutation group
ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
| Hi-index | 0.00 |