Code and data for the paper "Automated reasoning for proving non-orderability of groups"
收藏NIAID Data Ecosystem2026-05-01 收录
下载链接：
https://zenodo.org/record/8422477
下载链接
链接失效反馈官方服务：
资源简介：
Code and data for the paper titled "Automated reasoning for proving non-orderability of groups". Containing the input files, output files and proofs obtained by Prover9; the input files, output files and models obtained by Mace4; and a Python 3 script to generate this data set.
创建时间：
2023-10-10
