# Prof. dr. Robert F. Morse: Computational group theory and the theory of groups

Date: 2. 6. 2012

Source: Mathematics colloquium

Source: Mathematics colloquium

Četrtek, 7. 6. 2012, ob 18.15 v predavalnici 2.02 na Jadranski 21

**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.