Timeline for What methods exist to prove that a finitely presented group is finite?
Current License: CC BY-SA 2.5
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 30, 2017 at 19:47 | comment | added | Ryan Budney | Unfortunately, your link is broken. Magnus is wonderful software but it seems to be maintained very irregularly. I have not been able to get the source to compile on recent Linux distributions. It would be a great service to the mathematics community if someone converted the core algorithms from Magnus into a stable, portable library. | |
| Feb 8, 2010 at 12:51 | history | answered | kakaz | CC BY-SA 2.5 |