Proving a manifold to be hyperbolic once it has been approximated to be so (Q1007202)

Let \(M\) be a 3-manifold whose boundary consists of tori. The computer program SnapPea (\url{http://www.northnet.org/weeks}) created by Jeff Weeks can approximate whether or not \(M\) is a complete hyperbolic manifold. In the paper under review which is based on the doctoral dissertation of the author, she gives a method for proving that a manifold has a complete hyperbolic structure based on the approximations of Snap (O. Goodman, Snap, \url{http://www.ms.unimelb.edu.au//snap}). Using this the author can definitively prove that every manifold in the SnapPea cusped census has a complete hyperbolic structure. The paper uses, as one of the methods, the Kantorovich theorem to prove that an actual solution for a system of equations exists, see \textit{J. H. Hubbard} and \textit{B. B. Hubbard} [Vector calculus, linear algebra, and differential forms. A unified approach, Upper Saddle River, NJ: Prentice Hall (1999; Zbl 0918.00001)].