Algorithms for recognizing knots and 3-manifolds
arXiv:math/9712269 · doi:10.1016/S0960-0779(97)00109-4
Abstract
This is a survey paper on algorithms for solving problems in 3-dimensional topology. In particular, it discusses Haken's approach to the recognition of the unknot, and recent variations.
17 Pages, 7 figures, to appear in Chaos, Fractals and Solitons