Published February 2, 2019 | Version v1
Conference paper Open

Automated Reasoning for the Andrews-Curtis Conjecture

Authors/Creators

  • 1. University of Liverpool

Description

The extended version of the paper to be presented at AITP 2019 conference (Apritl 2019)  and related datasets.  

Files

AITP.pdf

Files (426.6 kB)

Name Size Download all
md5:4ec4a649e3aeda89409650c8c8e95cb1
289.9 kB Preview Download
md5:4a06a192f9c4386e6ec2d33b7bb3c2ce
3.9 kB Preview Download
md5:c0508dc179ff6c66623c6704d91c9e7d
132.8 kB Preview Download