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

DOI10.1007/978-3-319-72453-9_1zbMath1505.57014OpenAlexW2777829566MaRDI QIDQ4628476

Alexej P. Lisitsa, Alexei Vernitski

Publication date: 14 March 2019

Published in: Mathematical Aspects of Computer and Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-72453-9_1

zbMATH Keywords

quandlekeiassociative semigroup

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Generalized knots (virtual knots, welded knots, quandles, etc.) (57K12)

Related Items (2)

Dihedral semigroups, their defining relations and an application to describing knot semigroups of rational links ⋮ Visual Algebraic Proofs for Unknot Detection

This page was built for publication: Automated Reasoning for Knot Semigroups and  $$\pi $$ π -orbifold Groups of Knots