• Computational Commutative Algebra
• GroupAnalyzer
• Groups and Graphs
• MacGAP
• MacMuPAD
• Mathematica
• Mathematica Help Stack
• Recent Macintosh port of GAP