Semigroups, keis and groups induced by knot diagrams: an experimental investigation with automated reasoning

DOI10.1007/S00233-024-10433-XzbMATH Open1547.57032MaRDI QIDQ6591561

Alexej P. Lisitsa, Alexei Vernitski

Publication date: 22 August 2024

Published in: Semigroup Forum (Search for Journal in Brave)

zbMATH Keywords

knotautomated reasoningkeiknot semigroup

Mathematics Subject Classification ID

Generalized knots (virtual knots, welded knots, quandles, etc.) (57K12)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• A classifying invariant of knots, the knot quandle
• Describing semigroups with defining relations of the form \(xy=yz\) and \(yx=zy\) and connections with knot theory
• Dihedral semigroups, their defining relations and an application to describing knot semigroups of rational links
• Automated model building
• On knots with trivial Alexander polynomial
• On involutions of the 3-sphere
• Efficient Knot Discrimination via Quandle Coloring with SAT and #-SAT
• Automated Reasoning for Knot Semigroups and  $$\pi $$ π -orbifold Groups of Knots
• On core quandles of groups
• Detecting Unknots via Equational Reasoning, I: Exploration

This page was built for publication: Semigroups, keis and groups induced by knot diagrams: an experimental investigation with automated reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6591561)