Browsing OSU - Faculty Papers by Author "6f4c0a57-1c5b-473d-8248-6af6a0b6b840"
Now showing items 1-1 of 1
-
Verified computations for hyperbolic 3-manifolds
Hoffman, Neil; Ichihara, Kazuhiro; Kashiwagi, Masahide; Masai, Hidetoshi; Oishi, Shin'ichi; Takayasu, Akitoshi (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 ...