TY  - RPRT
TI  - Verified computations for hyperbolic 3-manifolds
AU  - Neil Hoffman
AU  - Kazuhiro Ichihara
AU  - Masahide Kashiwagi
AU  - Hidetoshi Masai
AU  - Shin'ichi Oishi
AU  - Akitoshi Takayasu
PY  - 2013
UR  - https://arxiv.org/abs/1310.3410
ID  - 1310.3410
ER  -