Automated Theorem Proving in Quasigroup and Loop Theory

Abstract

We survey all known results in the area of quasigroup and loop theory to have been obtained with the assistance of automated theorem provers.

Keywords

• Automated
• Theorem
• Proving
• Quasigroup
• and
• Loop
• Theory