Journal of Automated Reasoning
Journal of Automated Reasoning
Solution of the Robbins Problem
Journal of Automated Reasoning
Solving Open Questions and Other Challenge Problems Using Proof Sketches
Journal of Automated Reasoning
Short Single Axioms for Boolean Algebra
Journal of Automated Reasoning
AI Communications
Axiomatizing the Skew Boolean Propositional Calculus
Journal of Automated Reasoning
The design and implementation of VAMPIRE
AI Communications - CASC
AI Communications - CASC
Rectangular quasigroups and rectangular loops
Computers & Mathematics with Applications
Linear groupoids and the associated wreath products
Journal of Symbolic Computation
Loops with abelian inner mapping groups: an application of automated deduction
Automated Reasoning and Mathematics
Hi-index | 0.01 |
We survey all known results in the area of quasigroup and loop theory to have been obtained with the assistance of automated theorem provers. We provide both informal and formal descriptions of selected problems, and compare the performance of selected state-of-the art first order theorem provers on them. Our analysis yields some surprising results, e.g., the theorem prover most often used by loop theorists does not necessarily yield the best performance.