Verified computations for hyperbolic 3-manifolds

Neil Hoffman, Kazuhiro Ichihara, Masahide Kashiwagi +3

For a given cusped 3-manifold $M$ admitting an ideal triangulation, we describe a method to rigorously prove that either $M$ or a filling of $M$ admits a complete hyperbolic struct…