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 7 articles )
Showing results 1 to 7 of 7.
- Galán-García, José L.; Aguilera-Venegas, Gabriel; Galán-García, María Á.; Rodríguez-Cielos, Pedro; Atencia-Mc. Killop, Iván: Improving CAS capabilities: new rules for computing improper integrals (2018)
- Schönnenbeck, Sebastian: Resolutions for unit groups of orders (2017)
- Baumslag, Gilbert; Bryukhov, Yegor; Fine, Benjamin; Troeger, Douglas: Challenge response password security using combinatorial group theory (2010)
- Guirardel, Vincent: Actions of finitely generated groups on (\mathbbR)-trees. (2008)
- Kapovich, Ilya; Myasnikov, Alexei; Schupp, Paul; Shpilrain, Vladimir: Generic-case complexity, decision problems in group theory, and random walks. (2003)
- Kapovich, Ilya: Howson property and one-relator groups (1999)
- Baumslag, Gilbert; Miller, Charles F. III: Experimenting and computing with infinite groups (1997)