A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
From its creation in 1989 through subsequent extensions, the widely-used "SnapPea census" now aims to represent all cusped finite-volume hyperbolic 3-manifolds that can be obtained from <= 8 ideal tetrahedra. Its construction, however, has relied on inexact computations and some unproven (though reasonable) assumptions, and so its completeness was never guaranteed. For the first time, we prove here that the census meets its aim: we rigorously certify that every ideal 3-manifold triangulationarXiv:1405.2695v1 fatcat:swvvzg7odffzvjizwikhhbeycm