QPTP (Quasigroup Problems for Theorem Provers)

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.



What is this automated theorem proving about? See, for instance, an ATP for algebraists presentation.

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ý

Turnov, 2006