Automated Theorem Proving in Loop Theory

Abstract

The paper compares performance of various automated theorem provers on automatically proved theorems in loop theory.

Keywords

• Automated
• Theorem
• Proving
• Theory