Verified Computations for Hyperbolic 3-Manifolds. - Neil Hoffman; Kazuhiro Ichihara; Masahide Kashiwagi; Hidetoshi Masai; Shin'ichi Oishi; Akitoshi Takayasu (Exp. Math., 2016)