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