Algorithmic detection and description of hyperbolic structures on closed 3-manifolds with solvable word problem. Manning, Jason — 2002 Geometry & Topology