Search
Now showing items 1-1 of 1
Verified computations for hyperbolic 3-manifolds
(2013-10-12)
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 ...