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.