1. Deciding finiteness of matrix groups in Las Vegas polynomial time;Babai,1992
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. On deciding finiteness for matrix groups over fields of positive characteristic;Detinko;LMS J. Comput. Math.,2001
5. Detinko, A.S., Eick, B., Flannery, D.L., 2007. Nilmat—Computing with nilpotent matrix groups. A refereed GAP 4 package; see http://www.gap-system.org/Packages/nilmat.html