Detinko, A., Flannery, D. L., Hulpke, A., "Zariski density and computing in arithmetic groups", Mathematics of Computation, 2018