Hoffman, Neil Max Planck Institute for Mathematics, Max Planck Society;
Hoffman_Verified Computations_oa_2016.pdf (Any fulltext), 357KB
Hoffman, N., Ichihara, K., Kashiwagi, M., Masai, H., Oishi, S., & Takayasu, A. (2016). Verified computations for hyperbolic 3-manifolds. Experimental Mathematics, 25(1), 66-78. doi:10.1080/10586458.2015.1029599.