Algorithmic Topology and Classification of 3-Manifolds - Matveev, Sergei (Springer Berlin Heidelberg, 2003)
This self-contained book by a leading topologist is devoted to algorithmic low-dimensional topology, a branch of mathematics that has recently been undergoing an intense development. The book contains plenty of important fundamental material, which is carefully presented. The book also contains some of the author's own original contributions. For the first time ever, it gives a full exposition of the complexity theory of 3-manifolds and a complete proof of the solution of the homeomorphism problem for Haken manifolds. The subject of the book is the topology of bare 3-manifolds, without geometric structures, which became incorporated into 3-dimensional topology by the work of Thurston. This non-geometric part of low-dimensional topology is presented by Matveev in a truly geometric way. Although the author emphasizes the algorithmic side of the subject, the book presents also the background non-algorithmic contents of the subject. The style of the book is very lively, with a lot of useful pictures, making the book enjoyable for those who like visual topology. The writing is clear and the proofs are careful and detailed. This book fills a gap in the exisiting literature and will become a standard reference for this aspect of 3-dimensional topology both for graduate students and researchers