Experimental Data For The Paper Automated Reasoning For Knot Semigorups And \Pi-Orbifold Groups Of Knots
收藏数据链接：
官方服务：
资源简介：
This upload contains experimental data to supplement the <br> paper Automated reasoning for knot semigroups and \pi-orbifold <br> groups of knots, by Alexei Lisitsa and Alexei Vernitski, 2017 ALTERNATING-SG.zip Proofs by Prover9 for Section 3, (4-plats) <br> KS_Models.zip Models found by Mace4 for Section 2.3 (Non-cyclic knot semigorups: small knots) <br> PROVING-TRIVIAL.zip Proofs by Prover 9 for Section 2.2 (Cyclic knot semigroups) <br>
提供机构：
Zenodo创建时间：
2017-10-12
