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)+"
}