Grupos, Algoritmos, Programación - un Sistema Computacional de Álgebra Discreta

GAP
Gratis
Offline
http://www-gap.mcs.st-and.ac.uk/

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.