Visual Algebraic Proofs for Unknot Detection

DOI10.1007/978-3-319-91376-6_12MaRDI QIDQ5878863zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Knot theory (57K10)

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

• scientific article; zbMATH DE number 3967460 (Why is no real title available?)
• scientific article; zbMATH DE number 705153 (Why is no real title available?)
• scientific article; zbMATH DE number 1037084 (Why is no real title available?)
• scientific article; zbMATH DE number 2107523 (Why is no real title available?)
• scientific article; zbMATH DE number 795683 (Why is no real title available?)
• An upper bound on Reidemeister moves
• Automated reasoning for knot semigroups and \(\pi\)-orbifold groups of knots
• Describing semigroups with defining relations of the form \(xy=yz\) and \(yx=zy\) and connections with knot theory
• Detecting Unknots via Equational Reasoning, I: Exploration
• Three-page approach to knot theory. Universal semigroup

Cited in

(2)

• A new algorithm for recognizing the unknot
• Detecting Unknots via Equational Reasoning, I: Exploration

Describes a project that uses

Uses Software

• Mace4
• Prover9

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)