dc.contributor.author | Hoffman, Neil | |
dc.contributor.author | Ichihara, Kazuhiro | |
dc.contributor.author | Kashiwagi, Masahide | |
dc.contributor.author | Masai, Hidetoshi | |
dc.contributor.author | Oishi, Shin'ichi | |
dc.contributor.author | Takayasu, Akitoshi | |
dc.date.accessioned | 2022-11-07T14:29:22Z | |
dc.date.available | 2022-11-07T14:29:22Z | |
dc.date.issued | 2013-10-12 | |
dc.identifier.citation | Hoffman, N., Ichihara, K., Kashiwagi, M., Masai, H., Oishi, S., Takayasu, A. (2013). Verified computations for hyperbolic 3-manifolds. | |
dc.identifier.uri | https://hdl.handle.net/11244/336590 | |
dc.description.abstract | For a given cusped 3-manifold M admitting an ideal triangulation, we describe a method to rigorously prove that either M or a filling of M admits a complete hyperbolic structure via verified computer calculations. Central to our method are an implementation of interval arithmetic and Krawczyk's Test. These techniques represent an improvement over existing algorithms as they are faster, while accounting for error accumulation in a more direct and user friendly way. | |
dc.format | application/pdf | |
dc.relation.uri | http://arxiv.org/abs/1310.3410v2 | |
dc.rights | This material has been previously published. In the Oklahoma State University Library's institutional repository this version is made available through the open access principles and the terms of agreement/consent between the author(s) and the publisher. The permission policy on the use, reproduction or distribution of the material falls under fair use for educational, scholarship, and research purposes. Contact Digital Resources and Discovery Services at lib-dls@okstate.edu or 405-744-9161 for further information. | |
dc.title | Verified computations for hyperbolic 3-manifolds | |
dc.date.updated | 2022-10-26T21:05:43Z | |
dc.description.department | Mathematics | |
dc.type.genre | Preprint | |
dc.type.material | Text | |
dc.subject.keywords | math.GT: Geometric Topology | |
dc.subject.keywords | 57M50: General geometric structures on low-dimensional manifolds | |
dc.subject.keywords | 65G40: General methods in interval analysis | |
dc.identifier.author | ORCID: 0000-0003-0662-3244 (Hoffman, Neil) | |
dc.identifier.author | ScopusID: 16642919400 (Hoffman, Neil) | |