We survey some of the progress to date in an ongoing project to enable computation with linear groups defined over infinite domains. This includes computational realization of the finite approximation method, leading up to algorithms for arithmetic groups and beyond. This is joint work with Alla Detinko and Alexander Hulpke.