Back to Search Start Over

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

Authors :
Lisitsa, Alexei
Vernitski, Alexei
Source :
Semigroup Forum. Aug2024, Vol. 109 Issue 1, p186-193. 8p.
Publication Year :
2024

Abstract

We apply automated reasoning to investigation of finite factors of algebraic structures associated with knot diagrams. We refute "double size" conjecture about cancellative semigroups and keis. [ABSTRACT FROM AUTHOR]

Subjects

Subjects :
*LOGICAL prediction

Details

Language :
English
ISSN :
00371912
Volume :
109
Issue :
1
Database :
Academic Search Index
Journal :
Semigroup Forum
Publication Type :
Academic Journal
Accession number :
178776120
Full Text :
https://doi.org/10.1007/s00233-024-10433-x
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details