MAGNUS -- Infinite Group Theory Symbolic Algebra

Abstract

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.