Robuta

https://arxiv.org/abs/math/0102154 [math/0102154] Algorithmic detection and description of hyperbolic structures on closed 3-manifolds... Abstract page for arXiv paper math/0102154: Algorithmic detection and description of hyperbolic structures on closed 3-manifolds with solvable word problem