www.gap-system.org

     
GAP is a free system for computational discrete algebra.