The Nilmat package contains methods for checking whether a finitely generated matrix group over a finite field or the field of rational numbers is nilpotent, methods for computing with such nilpotent matrix groups and methods for contructing important classes of such nilpotent matrix groups.
Keywords for this software
References in zbMATH (referenced in 3 articles )
Showing results 1 to 3 of 3.
- Detinko, A. S.; Flannery, D. L.: On deciding finiteness of matrix groups. (2009)
- Detinko, A. S.; Flannery, D. L.; O’Brien, E. A.: Deciding finiteness of matrix groups in positive characteristic. (2009)
- Detinko, A. S.; Flannery, D. L.: Algorithms for computing with nilpotent matrix groups over infinite domains. (2008)