Symja is a computer algebra system and symbolic mathematics library written in Java.
Read more
Symja is a computer algebra system and symbolic mathematics library written in Java.
Read more
REDUCE is a portable general-purpose computer algebra system for symbolic computation.
Read more
Xcas is a cross-platform mathematical environment built around the Giac computer algebra engine.
Read more
CGSuite is a computer algebra system for research in combinatorial game theory.
Read more
Nelson is a numerical computational language providing a comprehensive and intuitive environment for engineers, scientists, and students.
Read more
wxMaxima is a graphical user interface for the computer algebra system Maxima: a program that solves mathematical problems
Read more
SINGULAR is a computer algebra system for polynomial computations, Gröbner bases, ideals, modules and algebraic geometry research.
Read more
polymake offers specialised computations and visualisation for polytopes, polyhedra, graphs, matroids and tropical geometry.
Read more
PARI/GP is a widely used computer algebra system designed for fast computations in number theory e.g factorizations, algebraic number theory.
Read more
SageMath is a computer algebra system written in Python and Cython and integrates an included distribution of specialized mathematics.
Read more
Axiom is a general purpose computer algebra system.Axiom is useful for research and development of mathematical algorithms.
Read more
SymPy is an open source Python library for symbolic mathematics. It aims to become a full-featured computer algebra system (CAS).
Read more
Maxima is a system for the manipulation of symbolic and numerical expressions, including differentiation, integration, Taylor series…
Read more
Scilab includes hundreds of mathematical functions. It has a high level programming language allowing access to advanced data structures.
Read more
Octave is a high-level language, primarily intended for numerical computations.It provides a convenient command line interface.
Read more
Mathics is a general-purpose computer algebra system (CAS). It features Mathematica-compatible syntax and functions.
Read more
FORM is a Symbolic Manipulation System. It reads symbolic expressions from files and executes symbolic/algebraic transformations upon them.
Read more
Cadabra is a symbolic computer algebra system (CAS) designed specifically for the solution of problems encountered in field theory.
Read more
Macaulay2 supports research in algebraic geometry with polynomial rings, Gröbner bases, resolutions, modules and extensible packages.
Read more
GAP is a system for computational discrete algebra, with particular emphasis on Computational Group Theory.
Read more