… We describe the theoretical background and outline of a computer algorithm that recognizes
threemanifolds, in the following sense: given (by means of combinatorial description, say) a …

… computer use. A new scientific and applied trend in modern topology, which can conditionally
be referred to as "computer … These problems can be successfully solved using computers. …

… recognition problem for Haken manifolds has an algorithmic solution, there is no chance of
it being be realized by a computer … in computer memory and how one can manipulate them. …

… We describe an application of the encoding to computer enumeration of 3-manifolds and
give the resulting table. A brief introduction into the theory of quantum invariants of 3-manifolds …

… three-manifolds re mains an unsolved problem due to the exceedingly complex forms to which
some three-manifolds … way, there is no hope that three-manifolds can be ana lyzed either. …

… that is presented in this book suits well for further computer explorations. I do believe that it
has … young topologists or combinatorialists who are computer oriented. They can quickly learn …

… We suggest here another method of using computers for the … lists may be exhaustively tested
by a computer whether they are combinatorially … Computer recognition of three manifolds …

… On the one hand, the exponential advancement of computer technologies has made it …
a computer program that enumerates manifolds and conducts a partial recognition. The final …

… within mathematics, this field has long had large influence within physics [5], and more
recently, its influence has been cemented in the development of the younger field of computer …

We extend to the context of hyperbolic 3-manifolds with geodesic boundary Thurston’s
approach to hyperbolization by means of geometric triangulations. In particular, we introduce …