Published October 12, 2017
| Version v1
Dataset
Open
Experimental data for the paper Automated reasoning for knot semigorups and \pi-orbifold groups of knots
Description
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)