Notes on unknotting algorithms using normal surface theory

2023/11/07 by Hakan Solak, Solak, Hakan
Computer Science · Engineering · #Advanced Numerical Analysis Techniques #Computational Geometry and Mesh Generation #FOS: Mathematics #General Topology (math.GN) #Geometric Topology (math.GT) #Human Motion and Animation

paper · pdf · doi:10.48550/arxiv.2311.03693

openalex publication_date 2023/11/07 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

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.

Related

• Unknotting Unknots
• Detecting unknots via equational reasoning, I: Exploration
• Automated Reidemeister Moves: A Numerical Approach to the Unknotting Problem
• Elementary knot theory
• A fast branching algorithm for unknot recognition with experimental polynomial-time behaviour