Application of Model Search to Lattices
Michael Rose and Kristin Wilkinson
August 2001
This page contains data files referred to in an article
(of the same name) in the
August 2001 issue
of the
Association for Automated Reasonging
Newsletter.
Here is a
PDF version of the article.
The model-searching programs used in the work are
MACE 2.0
and
SEM 1.7.
Also, the theorem prover
EQP 0.9
was used.
To see how these jobs were run, you can take a look at this
UNIX shell script.
These activities are projects of the
Mathematics and Computer Science Division
of
Argonne National Laboratory.