paper

Notes on unknotting algorithms using normal surface theory

arXiv:2311.03693

Abstract

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.