1: \begin{abstract}

2: We provide algorithms to decide whether a finitely generated subgroup of $\SL_2(\R)$ is discrete, solve the constructive membership problem for finitely generated discrete subgroups of $\SL_2(\R)$, and compute a fundamental domain for a finitely generated Fuchsian group. These algorithms have been implemented in \textsc{Magma} for groups defined over real algebraic number fields.

3: \end{abstract}

4: