Let $\Gamma$ be a finitely generated subgroup of $PSL_2(\mathbb R)$.

I'm looking for effective criteria (idealy necessary and sufficient but just necessary would be a good start) ensuring that $\Gamma$ is

1.- Fuchsian (ie. $\Gamma$ is a discrete subgroup); or

2.- Fuchsian of the first type (ie. the Riemann surface $\mathbb H/\Gamma$ is of finite hyperbolic area); or

3.- Fuchsian and co-compact (ie. the Riemann surface $\mathbb H/\Gamma$ is compact).

I'm not familiar with this field, but I know that there are a lot of works on this question, especially when $\Gamma$ is generated by two elements. In this case, one can certainly find some satisfying criteria or algorithms in Gilman's memoir *`Two-generators discrete subgroups of $PSL_2(\mathbb R)$'*.

**Main question:** what about the case when $\Gamma$ is generated by more than two elements?

I think that $\Gamma$ is Fuchsian iff every subgroup generated by 2 elements of $\Gamma$ is discrete (is it true? A confirmation and better, a reference, would be welcome). Anyway, I don't see how this could be used in an effective manner to verify that a given $\Gamma$ is discrete or not...

**Main question (made more precise):** assume that $\Gamma$ is generated by $n\geq 3$ elements. Is there a criterion involving the $n$ generators of $\Gamma$ all together that must be verified if this group is Fuchsian (or Fuchsian of the first type, or Fuchsian and cocompact)?

--

**Secondary question**: in case of two-generators subgroups, are the existing criteria/algorithms about the properties 1, 2 and 3 implemented? If yes, where is it possible to find softwares/codes allowing to make explicit computations?

Thanks in advance.