H Bäärnhielm, D Holt, CR Leedham-Green… - Journal of Symbolic …, 2015 - Elsevier
We describe an algorithm to compute a composition tree for a matrix group defined over a
finite field, and show how to use the associated structure to carry out computations with such …