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

Small PSL(2, F) representations of Seifert fiber space groups. - Neil R. Hoffman; Kathleen L. Petersen (CoRR, 2022)