Semigroups, keis and groups induced by knot diagrams: an experimental investigation with automated reasoning
摘要
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.