Prof. dr. Robert F. Morse: Computational group theory and the theory of groups
Source: Mathematics colloquium
Robert F. Morse
University of Evansville, Indiana, ZDA
The availability of computational group theory systems such as GAP (Groups, Algorithms, and Programming) and Magma is assisting in the development of theoretical results in group theory. In this expository talk we will outline some capabilities of these computational group theory systems and how these capabilities have been applied to find new results in the theory of groups. These capabilities include the searching of group libraries and classes of groups, finding nilpotent and solvable quotients, and rewriting techniques. This talk will highlight various uses of these techniques to guide the proofs of some recent results about finite and infinite groups.