Detinko, A. S., Flannery, D. L., de Graaf, W. A., "Integrality and arithmeticity of solvable linear groups", Journal of Symbolic Computation, 2015