Experimental data for the paper Automated reasoning for knot semigorups and \pi-orbifold groups of knots
收藏NIAID Data Ecosystem2026-03-11 收录
下载链接：
https://zenodo.org/record/1009577
下载链接
链接失效反馈官方服务：
资源简介：
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)
本上传数据集包含用于补充Alexei Lisitsa与Alexei Vernitski于2017年发表的论文《纽结半群（knot semigroups）与纽结的π-轨形群（π-orbifold groups）的自动化推理》的实验数据。
ALTERNATING-SG.zip：由Prover9为第3节（4-平纽结（4-plats））生成的证明文件
KS_Models.zip：由Mace4为第2.3节（非循环纽结半群：小型纽结）找到的模型文件
PROVING-TRIVIAL.zip：由Prover9为第2.2节（循环纽结半群）生成的证明文件
创建时间：
2020-01-21
