Automated Reasoning for Knot Semigroups and  $$\pi $$ π -orbifold Groups of Knots

Lisitsa, Alexei and Vernitski, Alexei
(2017) Automated Reasoning for Knot Semigroups and  $$\pi $$ π -orbifold Groups of Knots. .

[img] Text
automated-reasoning-knot (5).pdf - Author Accepted Manuscript

Download (336kB)


The paper continues the first author’s research which shows that automatic reasoning is an effective tool for establishing properties of algebraic constructions associated with knot diagrams. Previous research considered involutory quandles (also known as keis) and quandles. This paper applies automated reasoning to knot semigroups, recently introduced and studied by the second author, and π -orbifold groups of knots. We test two conjectures concerning knot semigroups (specifically, conjectures aiming to describe knot semigroups of diagrams of the trivial knot and knot semigroups of 4-plat knot diagrams) on a large number of examples. These experiments enable us to formulate one new conjecture. We discuss applications of our results to a classical problem of the knot theory, determining whether a knot diagram represents the trivial knot.

Item Type: Conference or Workshop Item (Unspecified)
Depositing User: Symplectic Admin
Date Deposited: 06 Sep 2018 13:25
Last Modified: 19 Jan 2023 01:25
DOI: 10.1007/978-3-319-72453-9_1
Related URLs: