A catalogue of quasigroup and loop theory results obtained with the assistance of automated theorem provers.
For a detailed description, see our paper. For technical details, see the Readme file. The catalogue contains all results obtained till 2008.

DOWNLOAD:

• QPTP LIBRARY (12/2008)
• benchmark input/output files

PAPERS:

• The PAPER (based on QPTP 12/2008)
• ESARM workshop paper (a preliminary version based on QPTP 05/2008)
• LPAR'08 short paper

Other people are doing similar things. Look at Peter Hoefner's website for proving theorems about Kleene algebras and related algebraic structures.

Authors: JD Phillips, David Stanovský
Contact: