## Keynote Speaker Bob Morse University of Evansville#### Computational Group Theory for the Working Mathematician*Abstract*: Computational systems such as the GAP (Groups, Algorithms and Programming) system for computational algebra and discrete mathematics provide functionality for very sophisticated calculations with both finite and infinite groups and a plethora of related and supporting algebraic objects. Moreover, this functionality can be composed by the user to create even more sophisticated functionality that then can be applied to the user’s specific research needs.
The focus of this talk is to describe what systems like GAP can do and strategies for using such systems to enhance and aid in our research. Examples will be from my own research experience in group theory and algebraic topology. The ideas and methods presented are general and can be applied to other computational systems and areas of mathematics. |