Experimental data for the paper Andrews-Curtis conjecture, term rewriting and first-order proofs

Lisitsa, Alexei (2019) Experimental data for the paper Andrews-Curtis conjecture, term rewriting and first-order proofs. [Data Collection]

Description

This dataset contains proofs obtained by Prover9 and refutations by Mace4 for AC-simplifications.

Keywords:	Andrews-Curtis conjecture, Term rewriting, First-order proofs, Automated Reasoning, Experimental Mathematics
Divisions:	Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science
Depositing User:	Carly Rowley
Date Deposited:	21 Jun 2019 09:13
Last Modified:	21 Jun 2019 09:13
DOI:	10.5281/zenodo.1248987
URI:	https://datacat.liverpool.ac.uk/id/eprint/895
Additional details Additional details Creators: Lisitsa, Alexei Date: 19 June 2019 Statement on legal, ethical and access issues : Data available under CC BY Resource language: English Publisher: University of Liverpool Contact email address: rdm@liverpool.ac.uk Last Modified: 21 Jun 2019 09:13

DataCat Staff

Statistics