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 computer algebra system for symbolic calculations, including calculus, polynomials, equations, matrices and graph plotting.
Read more
Xcas is a cross-platform mathematical environment built around the Giac computer algebra engine.
Read more
CGSuite is a specialist algebra system for combinatorial game theory, offering partizan game calculations, CGScript and game libraries.
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 notebook for Maxima with formatted mathematics, interactive plots, command completion and worksheet export.
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 computer algebra system for number theory, with fast integer factorisation, elliptic curves, modular forms and GP scripting.
Read more
SageMath integrates computer algebra, number theory, combinatorics, numerical mathematics, plotting and interactive mathematical work.
Read more
Axiom is a general-purpose computer algebra system with a strongly typed mathematical library, symbolic integration and graphics.
Read more
SymPy is a symbolic mathematics library for algebra, equation solving, calculus, matrices, assumptions, plotting and code generation.
Read more
Maxima is a computer algebra system for symbolic calculus, equation solving, polynomial manipulation, matrices and high-precision arithmetic.
Read more
Scilab is a numerical computing environment for mathematical modelling, simulation, optimisation, data visualisation and Xcos diagrams.
Read more
Octave is a scientific computing language with matrix operations, 2D and 3D plotting, equation solvers and numerical analysis tools.
Read more
Mathics3 is a computer algebra system with Wolfram Language-compatible expressions, symbolic calculus, interactive shells and web notebooks.
Read more
FORM manipulates large symbolic expressions for high-energy physics using pattern matching, term rewriting and disk-backed storage.
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