arXiv:1310.3410 [math.GT]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords verified computations, complete hyperbolic structure, user friendly way, ideal triangulation, interval arithmetic Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset