arXiv:1904.12095 [math.GT]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords verified computations, closed hyperbolic, interval arithmetic methods, extending methods first, bundle census Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset