Group of 

Free CA Software


Aldor (the Axiom Library Compiler)  integrating Computer Algebra and Reasoning. 

Axiom  a general purpose Computer Algebra system. 

Cadabra is a new computer algebra system designed specifically for the solution of problems encountered in field theory. It has extensive functionality for tensor polynomial simplification taking care of Bianchi and Schouten identities, for fermions and anticommuting variables, Clifford algebras and Fierz transformations, implicit coordinate dependence, multiple index types and many other field theory related concepts. The input format is a subset of TeX and thus easy to learn. Both a commandline and a graphical interface are available. Here is the Introducing Cadabra by K. Peeters. 

Calc 3D  an international freeware program for calculating 3dimensional vectors, matrices, complex numbers and quaternions with Windows 98/NT. 

CoCoA is a freely available system for computing with multivariate polynomials. CoCoA deals with computations in multivariate polynomial rings over the rationals or modular integers, and on their ideals and modules. The implementation of the ideal/module theoretic operations relies on Grobner basis theory. 

Fermat  a Computer Algebra system for Polynomial and Matrix Computation. 

FORM  a program for large scale symbolic manipulation. 

GAP  Groups, Algorithms and Programming. GAP is a free system for computational discrete algebra. 

KANT  a Computer Algebra system for sophisticated computations in algebraic number fields. 

Macaulay 2 This system supports research in algebraic geometry and commutative algebra. 

Maxima  a system for the manipulation of symbolic and numerical expressions. 

MOLGEN, Bayreuth University. This program system is devoted to generating all structures that correspond to a given molecular formula. 

Mu PAD ® Pro is an open mathematical problem solving environment, also known as computer algebra system (CAS), for exact symbolic and numeric computing with arbitrary precision. 

NZMATH is a Python based number theory oriented calculation system. It is developed at Tokyo Metropolitan University. It is freely available and distributed under the BSD license. NZMATH is new SIMATH. 

REDUCE is now available free of charge from SourceForge . 

Risa/Asir is an open source general computer algebra system. 

Singular  a Computer Algebra System for Polynomial Computations. 

SYMMETRICA , Bayreuth University. 

Yacas  a general purpose Computer Algebra System. 
Commercial CA Systems
Derive  a powerful system for doing symbolic and numeric mathematics on the PC.


Magma  the Computer Algebra System for Algebra, Number Theory and Geometry. 

Copyright © 2007 compalg.jinr.ru. All rights reserved.