Experimenting and computing with infinite groups. 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. Computer algebra system (CAS).
Keywords for this software
References in zbMATH (referenced in 3 articles )
Showing results 1 to 3 of 3.
- Schönnenbeck, Sebastian: Resolutions for unit groups of orders (2017)
- Kapovich, Ilya; Myasnikov, Alexei; Schupp, Paul; Shpilrain, Vladimir: Generic-case complexity, decision problems in group theory, and random walks. (2003)
- Baumslag, Gilbert; Miller, Charles F. III: Experimenting and computing with infinite groups (1997)