Verified Computations for Hyperbolic 3-Manifolds

Neil Hoffman, Kazuhiro Ichihara, Masahide Kashiwagi, Hidetoshi Masai, Shinichi Oishi, Akitoshi Takayasu

研究成果: Article査読

17 被引用数 (Scopus)

抄録

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 Krawczyks 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.

本文言語English
ページ(範囲)66-78
ページ数13
ジャーナルExperimental Mathematics
25
1
DOI
出版ステータスPublished - 2016 1 2

ASJC Scopus subject areas

  • Mathematics(all)

フィンガープリント 「Verified Computations for Hyperbolic 3-Manifolds」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル