Computer Proofs in Group Theory

Yuan Yu. Computer Proofs in Group Theory. Journal of Automated Reasoning, 6(3):251-286, 1990.

Abstract

Abstract is missing.