Morse, Robert F.; Matematični kolokvij junij 2012

Iz MaFiRaWiki

Computational group theory and the theory of groups

Robert F. Morse

University of Evansville, ZDA

7. junij 2012

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.

Glej tudi

Matematični kolokviji

Osebna orodja