Andrew Fish, Alexei Lisitsa, Alexei Vernitski. Visual Algebraic Proofs for Unknot Detection. In Peter Chapman, Gem Stapleton, Amirouche Moktefi, Sarah Pérez-Kriz, Francesco Bellucci, editors, Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings. Volume 10871 of Lecture Notes in Computer Science, pages 89-104, Springer, 2018. [doi]
Abstract is missing.