Notes on unknotting algorithms using normal surface theory
Hakan Solak
所有作者
Hakan Solak
文献摘要
These notes present two normal surface theory algorithms to detect the unknot and use the split-link algorithm to prove that the figure-eight knot is knotted.