Browsing OSU - Faculty Papers by Subject "65G40: General methods in interval analysis"
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 ...