Experimental Data For The Paper Automated Reasoning For Knot Semigorups And \Pi-Orbifold Groups Of Knots
Alexei Lisitsa, Alexei · Zenodo (CERN European Organization for Nuclear Research) · 2017
This upload contains experimental data to supplement the paper Automated reasoning for knot semigroups and \pi-orbifold groups of knots, by Alexei Lisitsa and Alexei Vernitski, 2017 ALTERNATING-SG.zip Proofs by Prover9 for Section 3, (4-plats) KS_Models.zip Models found by Mace4 for Section 2.3 (Non-cyclic knot semigorups: small knots) PROVING-TRIVIAL.zip Proofs by Prover 9 for Section 2.2 (Cyclic knot semigroups)