Algorithmic Recognition of S3

  • Sergei Matveev
Part of the Algorithms and Computation in Mathematics book series (AACIM, volume 9)


As we have mentioned earlier, recognizing irreducibility of 3-manifolds requires the existence of a recognition algorithm for the sphere S 3. Another motivation for constructing such an algorithm is the following. To the late seventies topologists elaborated methods for proving an algorithmic classification theorem for Haken manifolds (though a complete proof appeared only in 1997, see Chap. 6). These methods play a crucial role in solving many other problems about Haken manifolds, but they do not work for manifolds which are not sufficiently large. What can one do with them?


Algorithmic Recognition Homology Sphere Special Spine Simple Spine Elementary Disc 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Sergei Matveev
    • 1
  1. 1.Chelyabinsk State UniversityChelyabinskRussia

Personalised recommendations