Algorithmic detection and description of hyperbolic structures on closed 3-manifolds with solvable word problem

Jason Manning

We outline a rigorous algorithm, first suggested by Casson, for determining whether a closed orientable 3-manifold M is hyperbolic, and to compute the hyperbolic structure, if one…