Polynomial complexity of the Gilman-Maskit discreteness algorithm. Jiang, Yicheng (2001) Annales Academiae Scientiarum Fennicae. Mathematica