A General Purpose Group Theory Program

Abstract

Questions concerning particular finite groups, which cannot be easily answered by hand methods, can sometimes be resolved with the aid of a computer. Among the more spectacular problems which have been solved using machines, we mention only the construction of character tables for Large finite simple groups by Conway, Livingstone, Hunt and others, the construction of the Lyons simple group by Sims and the determination of the four-dimensional crystal groups by Neubuser and colleagues.