Visual Algebraic Proofs for Unknot Detection
From MaRDI portal
Publication:5878863
DOI10.1007/978-3-319-91376-6_12OpenAlexW2803355095MaRDI QIDQ5878863FDOQ5878863
Authors: Andrew Fish, Alexej P. Lisitsa, Alexei Vernitski 
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
Recommendations
- Detecting Unknots via Equational Reasoning, I: Exploration
- A new algorithm for recognizing the unknot
- scientific article; zbMATH DE number 1860721
- scientific article; zbMATH DE number 4155455
- On algebraic unknotting numbers of knots
- TOWARDS AN IMPLEMENTATION OF THE B–H ALGORITHM FOR RECOGNIZING THE UNKNOT
- On the algebraic unknotting number
- UNKNOTTING OPERATIONS BY USING ORIENTED TRIVIAL TANGLE DIAGRAMS
- Detecting unknotted graphs in 3-space
- Algorithmic simplification of knot diagrams: new moves and experiments
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- An upper bound on Reidemeister moves
- 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
- Title not available (Why is that?)
- Automated reasoning for knot semigroups and \(\pi\)-orbifold groups of knots
- Detecting Unknots via Equational Reasoning, I: Exploration
Cited In (2)
Uses Software
This page was built for publication: Visual Algebraic Proofs for Unknot Detection
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5878863)
