Computer algebra systems

The Wolfram Language, a general multi-paradigm programming language developed by Wolfram Research, is the programming language of Mathematica and the Wolfram Programming Cloud.

Reduce is a general-purpose computer algebra system geared towards applications in physics.

SageMath (previously Sage or SAGE, System for Algebra and Geometry Experimentation) is mathematical software with features covering many aspects of mathematics, including algebra, combinatorics, numerical mathematics, number theory, and calculus.

Maple is a symbolic and numeric computing environment, and multi-paradigm programming language.

Julia is a high-level dynamic programming language designed to address the requirements of high-performance numerical and scientific computing while also being effective for general-purpose programming, web use or as a specification language.

Wolfram Mathematica (sometimes referred to as Mathematica) is a symbolic mathematical computation program, sometimes called a computer algebra program, used in many scientific, engineering, mathematical, and computing fields.

Maxima is a computer algebra system based on a 1982 version of Macsyma.

Wolfram Alpha (also styled WolframAlpha and Wolfram|Alpha) is a computational knowledge engine or answer engine developed by Wolfram Research, which was founded by Stephen Wolfram.

SMath Studio is a freeware (gratis, but not libre), closed source, mathematical notebook program similar to Mathcad.

Mathcad is computer software primarily intended for the verification, validation, documentation and re-use of engineering calculations.

A Mathematical Programming Language (AMPL) is an algebraic modeling language to describe and solve high-complexity problems for large-scale mathematical computing (i.e., large-scale optimization and scheduling-type problems).

GAP (Groups, Algorithms and Programming) is a computer algebra system for computational discrete algebra with particular emphasis on computational group theory.

Axiom is a free, general-purpose computer algebra system.

WIRIS is a set of proprietary HTML-based Javascript tools which can author and edit mathematical formulas, execute mathematical problems and show mathematical graphics on the Cartesian coordinate system.

Algebrator (also called Softmath) is a computer algebra system (CAS), which was developed in the late 1990s by Neven Jurkovic of Softmath, San Antonio, Texas.

FORMAC, acronym of FORmula MAnipulation Compiler was an early computer algebra system based on FORTRAN.

FORM is a symbolic manipulation system.

Fermat is a freeware program developed by Prof.

KANT is a computer algebra system for mathematicians interested in algebraic number theory, performing sophisticated computations in algebraic number fields, in global function fields, and in local fields.

The General Algebraic Modeling System (GAMS) is a high-level modeling system for mathematical optimization.

The CAMAL (CAMbridge ALgebra system) is a computer algebra system written at Cambridge University by David Barton, Steve Bourne, and John Fitch.

TI InterActive! is a Texas Instruments computer program which combines the functionality of all of the TI graphing calculators with extra features into a text editor which allows you to save equations, graphs, tables, spreadsheets, and text onto a document.

MuPAD is a computer algebra system (CAS).

mXparser is an open-source mathematical expressions parser/evaluator providing abilities to calculate various expressions at a run time.

Analytica is a visual software package developed by Lumina Decision Systems for creating, analyzing and communicating quantitative decision models.

Derive was a computer algebra system, developed as a successor to muMATH by the Soft Warehouse in Honolulu, Hawaii, now owned by Texas Instruments.

SAMPL, which stands for "Stochastic AMPL", is an algebraic modeling language resulting by expanding the well-known language AMPL with extended syntax and keywords.

Schoonschip was one of the first computer algebra systems, developed in 1963 by Martinus J.

Macaulay is a computer algebra system for doing polynomial computations, particularly Gröbner basis calculations.

MATLAB (matrix laboratory) is a multi-paradigm numerical computing environment and fourth-generation programming language.

AIMMS (an acronym for "Advanced Interactive Multidimensional Modeling System") is a software system designed for modeling and solving large-scale optimization and scheduling-type problems.