Knot theory: Algorithms, complexity and computation (NII Shonan Meeting 2014-4). - Ryan Budney; Benjamin A. Burton; Kazuhiro Ichihara (NII Shonan Meet. Rep., 2014)

Verified Computations for Hyperbolic 3-Manifolds. - Neil Hoffman; Kazuhiro Ichihara; Masahide Kashiwagi; Hidetoshi Masai; Shin'ichi Oishi; Akitoshi Takayasu (Exp. Math., 2016)