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

Abstract

AbstractWe 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.