computer algebra Archives

PARI/GP – computer algebra system

PARI/GP is a widely used computer algebra system designed for fast computations in number theory e.g factorizations, algebraic number theory.

SageMath is a computer algebra system written in Python and Cython and integrates an included distribution of specialized mathematics.

Axiom is a general purpose computer algebra system.Axiom is useful for research and development of mathematical algorithms.

SymPy is an open source Python library for symbolic mathematics. It aims to become a full-featured computer algebra system (CAS).

Maxima is a system for the manipulation of symbolic and numerical expressions, including differentiation, integration, Taylor series…

Scilab includes hundreds of mathematical functions. It has a high level programming language allowing access to advanced data structures.

Octave is a high-level language, primarily intended for numerical computations.It provides a convenient command line interface.

Mathics is a general-purpose computer algebra system (CAS). It features Mathematica-compatible syntax and functions.

FORM is a Symbolic Manipulation System. It reads symbolic expressions from files and executes symbolic/algebraic transformations upon them.

Cadabra is a symbolic computer algebra system (CAS) designed specifically for the solution of problems encountered in field theory.

Macaulay 2 is a computer algebra system devoted to supporting research in algebraic geometry, commutative algebra, and their applications.

GAP is a system for computational discrete algebra, with particular emphasis on Computational Group Theory.

FriCAS is an advanced, open source, computer algebra system, a self-contained toolbox ranging from calculus to abstract algebra.

CoCoA is an open source interactive system for doing computations in commutative algebra. CoCoALib is a C++ library.