Code and data for the paper "Automated reasoning for proving non-orderability of groups"
收藏数据链接：
官方服务：
资源简介：
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.
提供机构：
Zenodo创建时间：
2023-10-09
