Complexity and computation in matrix groups