Computer proofs in Group Theory

• 1 September 1990
• journal article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 6  (3) , 251-286
• https://doi.org/10.1007/bf00244488

Abstract

Keywords

• GROUP THEORY
• PROOFS
• ILLUSTRATE
• BOYER MOORE THEOREM PROVER