show/hide this revision's text 2 fixed grammar, formatting

Why is that it so hard to implement Haken's Algorithm for knot theory?

Why is that it so hard to implement Haken's Algorithm for recognizing whether a knot is unknottedor not ? (Is there is currently no a computer program that implements it)?implementation of this algorithm?)

show/hide this revision's text 1

Why is that so hard to implement Haken's Algorithm for knot theory

Why is that so hard to implement Haken's Algorithm for recognizing whether a knot is unknotted or not (there is currently no computer program that implements it)?