Computational Aspects of Discrete Subgroups of Lie Groups