Videos

Practical computations with finitely presented groups.

Presenter
June 15, 2021
Abstract
The topics to be discussed are: (1) Techniques associated with coset enumeration and subgroup presentations (including Todd-Coxeter and Reidemeister-Schreier). (2) Algorithms associated with abelian, nilpotent and polycyclic groups, and with collection. (3) Techniques associated with rewriting, in particular the Knuth-Bendix process, and computation and use of automatic and coset automatic structures. (4) Testing for hyperbolicity.
Supplementary Materials