MAGNUS -- Infinite Group Theory Symbolic Algebra
Magnus is a special purpose computer algebra system in the field of
Infinite Group Theory. The MAGNUS system was designed and developed
under the direction of Gilbert Baumslag at City College of New York.
As part of the MAGNUS project I worked on several related efforts,
including open-sourcing the system. Each of these efforts and their
results are collected here.