arXiv:1907.10828 [math.GR]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords finite simple groups, short presentations, bit-length, relevant arguments, errors occur Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset