Experimenting and computing with infinite groups

Abstract

We describe an experimental approach to studying infinite groups using a software package called Magnus being developed by the New York Group Theory Cooperative. This approach emphasises infinite groups and partial and experimental computation. These computations are frequently inconclusive and may only occasionally succeed. Such experimentation can guide theoretical development and lead to new and interesting questions.