Axiom

Axiom is a general purpose Computer Algebra system. It is useful for research and development of mathematical algorithms. It defines a strongly typed, mathematically correct type hierarchy. It has a p...
Language(s): N/A
Operating system(s): Cross-platform
License: Modified BSD License

Cadabra

Cadabra is a symbolic computer algebra system (CAS) designed specifically for the solution of problems encountered in field theory. It has extensive functionality for tensor computer algebra, tensor p...
Language(s): C++
Operating system(s): Linux, Mac OS, Windows
License: GNU General Public License

CoCoA

CoCoA is a program to compute with numbers and polynomials. The biggest "machine integer" you can use on a 32-bit computer is 2^32-1, but CoCoA, thanks to the powerful GMP library, can even compute nu...
Language(s): C++
Operating system(s): N/A
License: GNU General Public License

FreeMat

FreeMat is a free environment for rapid engineering and scientific prototyping and data processing. It is similar to commercial systems such as MATLAB from Mathworks, and IDL from Research Systems, bu...
Language(s): Assembly language, C, C++, Fortran, Qt
Operating system(s): Linux, Mac OS, Windows
License: GNU General Public License

GAP

GAP is a system for computational discrete algebra, with particular emphasis on Computational Group Theory. GAP provides a programming language, a library of thousands of functions implementing algebr...
Language(s): C
Operating system(s): Cross-platform
License: GNU General Public License