A system for symbolic mathematics for computational discrete algebra, especially group theory, by Johannes Meier, Alice Niemeyer, Werner Nickel, and Martin Schonert of Aachen. GAP was designed in 1986 and implemented 1987. Version 2.4 was released in 1988 and version 3.1 in 1992.