1. Bäärnhielm, H., Holt, D.F., Leedham-Green, C.R., OʼBrien, E.A., 2011. A practical model for computation with matrix groups. Preprint.
2. Deciding finiteness of matrix groups in deterministic polynomial time;Babai,1993
3. The Magma algebra system. I. The user language;Bosma;J. Symbolic Comput.,1997
4. Generating random elements of a finite group;Celler;Comm. Algebra,1995
5. On deciding finiteness for matrix groups over fields of positive characteristic;Detinko;LMS J. Comput. Math.,2001