Verified Computations for Hyperbolic 3-Manifolds.

Fri, 01 Jan 2016 00:00:00 +0100

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