Verified Computations for Hyperbolic 3-Manifolds

Neil Hoffman, Kazuhiro Ichihara, Masahide Kashiwagi, Hidetoshi Masai, Shinichi Oishi, Akitoshi Takayasu

    Research output: Contribution to journalArticle

    13 Citations (Scopus)


    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 to our method is an implementation of interval arithmetic and Krawczyks test. These techniques represent an improvement over existing algorithms as they are faster while accounting for error accumulation in a more direct and user-friendly way.

    Original languageEnglish
    Pages (from-to)66-78
    Number of pages13
    JournalExperimental Mathematics
    Issue number1
    Publication statusPublished - 2016 Jan 2


    • hyperbolic 3-manifold
    • interval arithmetic
    • Krawczyk's test
    • verified numerical computations

    ASJC Scopus subject areas

    • Mathematics(all)

    Fingerprint Dive into the research topics of 'Verified Computations for Hyperbolic 3-Manifolds'. Together they form a unique fingerprint.

  • Cite this