GAP is a free system for computational discrete algebra.
Citation:
@manual{GAP4, key = "GAP", organization = "The GAP~Group", title = "{GAP -- Groups, Algorithms, and Programming, Version 4.4}", year = 2003, note = "\verb+(http://www.gap-system.org)+" }