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 structure via verified computer calculations. Central ...