Algorithmic Topology and Classification of 3-Manifolds

The book is devoted to algorithmic low-dimensional topology. This branch of mathematics has recently been undergoing an intense development. On the one hand, the exponential advancement of computer technologies has made it possible to conduct sophisticated computer experiments and to implement algorithmic solutions, which have in turn provided a motivation to search for new and better algorithms. On the other hand, low-dimensional topology has received an additional boost because of the discovery of numerous connections with theoretical physics. There is also another deep reason why algorithmic topology has received a lot of attention. It is that a search for algorithmic solutions generally proves to be a rich source of well-stated mathematical problems. Speaking out of my experience, it seems that an orientation towards 'how to' rather than just 'how is' serves as a probing stone for choosing among possible directions of research - much like problems in mechanics led once to the development of calculus.