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 is 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. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1080/10586458.2015.1029599 | EXPERIMENTAL MATHEMATICS |
Keywords | Field | DocType |
hyperbolic 3-manifold,interval arithmetic,Krawczyk's test,verified numerical computations | Topology,Hyperbolic set,Mathematical analysis,Hyperbolic 3-manifold,Triangulation (social science),Interval arithmetic,Mathematics,Manifold,Computation | Journal |
Volume | Issue | ISSN |
25.0 | 1.0 | 1058-6458 |
Citations | PageRank | References |
1 | 0.48 | 7 |
Authors | ||
6 |
Name | Order | Citations | PageRank |
---|---|---|---|
neil r hoffman | 1 | 1 | 0.48 |
Kazuhiro Ichihara | 2 | 1 | 0.48 |
Masahide Kashiwagi | 3 | 7 | 2.28 |
Hidetoshi Masai | 4 | 1 | 0.48 |
Shin'ichi Oishi | 5 | 280 | 37.14 |
Akitoshi Takayasu | 6 | 1 | 0.48 |