Home > News > Prof. dr. Robert F. Morse: Computational group theory and the theory of groups

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

Date: 2. 6. 2012
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.

Matematični kolokviji