References

  1. Emil Artin (1947): Theory of Braids. Ann. of Math 48(2), pp. 101–126, doi:10.2307/1969218.
  2. 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.
  3. M. Dehn (1910): Über Die Topologie Des Dreidimensionalen Raumes. (Mit 16 Figuren Im Text). Mathematische Annalen 69, pp. 137–168, doi:10.1007/BF01455155.
  4. Patrick Dehornoy (2007): Efficient Solutions to the Braid Isotopy Problem. arXiv:math/0703666, doi:10.1016/j.dam.2007.12.009. ArXiv:math/0703666.
  5. Antonin Delpeuch (2020): The Word Problem for Double Categories. Theory and Applications of Categories 35, pp. 1–18. ArXiv:1907.09927.
  6. 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.
  7. 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.
  8. 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.
  9. W. Haken (1961): Theorie Der Normalflächen. Acta Math. 105, pp. 245–375, doi:10.1007/BF02559591.
  10. 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.
  11. André Joyal & Ross Street (1986): Braided Monoidal Categories. Mathematics Reports 86008.
  12. 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.
  13. André Joyal & Ross Street (1993): Braided Tensor Categories. Advances in Mathematics 102(1), pp. 20–78, doi:10.1006/aima.1993.1055.
  14. Marc Lackenby (2015): A Polynomial Upper Bound on Reidemeister Moves. Annals of Mathematics, pp. 491–564, doi:10.4007/annals.2015.182.2.3.
  15. Marc Lackenby (2019): The Efficient Certification of Knottedness and Thurston Norm. arXiv:1604.00290 [math]. ArXiv:1604.00290.
  16. M. Makkai (2005): The Word Problem for Computads.
  17. A. Markov (1958): The insolubility of the problem of homeomorphy. Doklady Akademii Nauk SSSR 121, pp. 218–220.
  18. Jean-Pierre Otal (1982): Présentations en ponts du nœud trivial. C. R. Acad. Sci., Paris, Sér. I 294, pp. 553–556.
  19. 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.
  20. 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.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org