1: \begin{abstract}

2: Arithmetic Kleinian groups are arithmetic lattices in~$\PSL_2(\C)$. We present an algorithm that, given such a group~$\Gamma$, returns a fundamental domain and a finite presentation for~$\Gamma$ with a computable isomorphism.

3: \end{abstract}

4: