GAP es un sistema de álgebra computacional discreta, con especial énfasis en la Teoría de Grupos Computacionales. GAP ofrece un lenguaje de programación y una biblioteca de miles de funciones de aplicación de algoritmos algebraicos escritos en el lenguaje de GAP, así como grandes bibliotecas de datos de objetos algebraicos.