Emil Artin (1947):
Theory of Braids.
Ann. of Math 48(2),
pp. 101–126,
doi:10.2307/1969218.
W. W. Boone, W. Haken & V. Poénaru (1968):
On Recursively Unsolvable Problems in Topology and Their Classification.
In: H. Arnold Schmidt, K. Schütte & H. J. Thiele: Studies in Logic and the Foundations of Mathematics,
Contributions to Mathematical Logic 50.
Elsevier,
pp. 37–74,
doi:10.1016/S0049-237X(08)70518-4.
M. Dehn (1910):
Über Die Topologie Des Dreidimensionalen Raumes. (Mit 16 Figuren Im Text).
Mathematische Annalen 69,
pp. 137–168,
doi:10.1007/BF01455155.
Antonin Delpeuch (2020):
The Word Problem for Double Categories.
Theory and Applications of Categories 35,
pp. 1–18.
ArXiv:1907.09927.
Antonin Delpeuch & Jamie Vicary (2018):
Normalization for Planar String Diagrams and a Quadratic Equivalence Algorithm.
to appear in Logical Methods in Computer Science.
ArXiv:1804.07832.
Peter J Freyd & David N Yetter (1989):
Braided Compact Closed Categories with Applications to Low Dimensional Topology.
Advances in Mathematics 77(2),
pp. 156–182,
doi:10.1016/0001-8708(89)90018-2.
Nick Gurski & Eugenia Cheng (2011):
The Periodic Table of N-Categories II: Degenerate Tricategories.
Cahiers de Topologie et Géométrie Différentielle Catégoriques 52(2),
pp. 45.
W. Haken (1961):
Theorie Der Normalflächen.
Acta Math. 105,
pp. 245–375,
doi:10.1007/BF02559591.
Yeonhee Jang, Tsuyoshi Kobayashi, Makoto Ozawa & Kazuto Takao (2019):
Stabilization of Bridge Decompositions of Knots and Bridge Positions of Knot Types (The Theory of Transformation Groups and Its Applications).
RIMS Kokyuroku 2135,
pp. 23–28.
André Joyal & Ross Street (1986):
Braided Monoidal Categories.
Mathematics Reports 86008.
André Joyal & Ross Street (1991):
The Geometry of Tensor Calculus, I.
Advances in Mathematics 88(1),
pp. 55–112,
doi:10.1016/0001-8708(91)90003-p.
André Joyal & Ross Street (1993):
Braided Tensor Categories.
Advances in Mathematics 102(1),
pp. 20–78,
doi:10.1006/aima.1993.1055.
Marc Lackenby (2015):
A Polynomial Upper Bound on Reidemeister Moves.
Annals of Mathematics,
pp. 491–564,
doi:10.4007/annals.2015.182.2.3.
Marc Lackenby (2019):
The Efficient Certification of Knottedness and Thurston Norm.
arXiv:1604.00290 [math].
ArXiv:1604.00290.
M. Makkai (2005):
The Word Problem for Computads.
A. Markov (1958):
The insolubility of the problem of homeomorphy.
Doklady Akademii Nauk SSSR 121,
pp. 218–220.
Jean-Pierre Otal (1982):
Présentations en ponts du nœud trivial.
C. R. Acad. Sci., Paris, Sér. I 294,
pp. 553–556.
P. Selinger (2010):
A Survey of Graphical Languages for Monoidal Categories.
In: Bob Coecke: New Structures for Physics,
Lecture Notes in Physics 813.
Springer Berlin Heidelberg,
pp. 289–355,
doi:10.1007/978-3-642-12821-9_4.
Bruce Trace (1983):
On the Reidemeister Moves of a Classical Knot.
Proceedings of the American Mathematical Society 89(4),
pp. 722–724,
doi:10.1090/S0002-9939-1983-0719004-4.