Visual Algebraic Proofs for Unknot Detection
From MaRDI portal
Publication:5878863
DOI10.1007/978-3-319-91376-6_12OpenAlexW2803355095MaRDI QIDQ5878863
Andrew Fish, Alexei Vernitski, Alexej P. Lisitsa
Publication date: 23 February 2023
Published in: Diagrammatic Representation and Inference (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-91376-6_12
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Three-page approach to knot theory. Universal semigroup
- Describing semigroups with defining relations of the form \(xy=yz\) and \(yx=zy\) and connections with knot theory
- An upper bound on Reidemeister moves
- Automated Reasoning for Knot Semigroups and $$\pi $$ π -orbifold Groups of Knots
- Detecting Unknots via Equational Reasoning, I: Exploration
This page was built for publication: Visual Algebraic Proofs for Unknot Detection