Links:
GAP a nice system for group theory and related ares (e.g. modules, cryptography,... etc.). GP/Pari a very powerful CAS (computer algebra system) geared toward number theory that features elliptic curves, basic linear algebra and polynomials and (partially implemented) power series over finite/global fields Yacas Yacas is a simple port of the Yacas Computer Algebra System to the Agenda PDA.