Algorithmic Topology and Classification of 3-Manifolds

Simple and Special Polyhedra.- Complexity Theory of 3-Manifolds.- Haken Theory of Normal Surfaces.- Applications of the Theory of Normal Surfaces.- Algorithmic Recognition of S3.- Classification of Haken 3-Manifolds.- 3-Manifold Recognizer.- The Turaev-Viro Invariants.

From the reviews of the first edition:"This book provides a comprehensive and detailed account of different topics in algorithmic 3-dimensional topology, culminating with the recognition procedure for Haken manifolds and including the up-to-date results in Computer enumeration of 3-manifolds. Originating from lecture notes of various courses given by the author over a decade, the book is intended to combine the pedagogical approach of a graduate textbook (without exercises) with the completeness and reliability of a research monograph. This motivates the about 400 pages length of the main text.All the material, with few exceptions, is presented from the peculiar point of view of special polyhedra and special spines of 3-manifolds. This choice contributes to keep the level of the exposilion really elementary. ....In conclusion, the reviewer subscribes to the quotation from the back cover: "the book fills a gap in the existing literature and will become a standard reference for algorithmic 3-dimensional topology both for graduate students and researchers". Riccardo Piergallini (Camerino), Zentralblatt für Mathematik 1048 (2004)"The purpose of the book is to present a detailed overview of the algorithmis aspects of 3-manifold topology. As noted by the author, the book is largely self-contained, though basic topology and group theory are assumed. The book contains extensive references, as the author makes use of many statemants from primary sources, and a large number of figures that help the reader follow the exposition. On the whole, the book is well organized. ..."James W. Anderson, Mathematical Reviews, Clippings from Issue 2004i"Almost coincident with the 1985 publication of the first edition of Gerard Burde and Heiner Zieschang's otherwise magisterial Knots, V. Jones's revolutionary "polynomial invariants" blew that subject wide open. History now repeats itself. ... Just as Matveev ... provides a state-of-the-art fast track into all the mathematics surrounding the