|
Creator |
Development started |
First public release |
Latest stable version |
Cost (USD) |
Open source |
License |
Notes |
| Algebrator |
Neven Jurkovic |
1986 |
1999 |
4.1 (2008) |
$58.99 |
No |
proprietary |
Elementary algebra; shows step-by-step solution process |
| Axiom |
Tim Daly |
1971 |
2002 |
November 2009 |
Free |
Yes |
modified BSD license |
Axiom Information Sources Video
Forked in 2007 to OpenAxiom and FriCAS
|
| bergman |
Jörgen Backelin |
1972 |
1972 |
0.96 / 1999 |
Free |
Yes |
GPL-style license |
Non-commutative and commutative Gröbner bases and more; mainly homogeneous and non-linear; Lisp-based |
| Cadabra |
Kasper Peeters |
2001 |
2007 |
1.0 November 2008 |
Free |
Yes |
GPL |
tensor algebra, field theory |
| ClassPad Manager |
CASIO |
1999 |
2001 |
3.03 / 2008 |
$45.45 |
No |
proprietary |
|
| CASSIOPEIA |
CASIO-MAPLE |
1997 |
2001 |
5.0/2001 |
Discontinued |
No |
proprietary |
Version of Maple 5 for CASSIOPEIA |
| CoCoA |
The CoCoA Team |
1987 |
1995 |
4.7.3 / 2007 |
Free |
Yes |
GPL |
For polynomial calculations |
| Derive |
Soft Warehouse |
1979 |
1988 |
6.1 |
No longer in production |
No |
proprietary |
Owned by TI; it was discontinued 2007 |
| DoCon |
Serge D. Mechveliani |
1993 |
1995 |
2.11 |
Free |
Yes |
non-OSI approved license |
Haskell library |
| DCAS |
Robert Fenichel |
? |
2005 |
1.0 / 2005 |
Free |
Yes |
GPL |
|
| Eigenmath |
George Weigt |
2004 |
2005 |
136 |
Free |
Yes |
GPL |
A version is available for the Nintendo DS[1] |
| Euler |
R. Grothmann |
2005 |
2005 |
6.0 (2008) includes Maxima 5.16.3 |
Free |
Yes |
GPL |
Extension of Maxima, symbolic and numeric computation, interval arithmetic |
| Fermat |
Robert H. Lewis |
1986 |
1993 |
3.9.8f (2009) |
$50 |
No |
proprietary |
polynomials, matrices |
| Franklin Math |
Allen Franklin Jordan |
2008 |
2009 |
0.01 |
Free |
Yes |
GPL |
Symbolic and numeric math, plotting, functions, and more. |
| FriCAS |
Waldek Hebish |
2007 |
July 2007 |
1.0.8 (October 2009) |
Free |
Yes |
modified BSD license |
General purpose, full-featured CAS. Forked from Axiom in 2007. |
| GAP |
GAP Group |
1986 |
1986 |
4.4.12 / 2008 |
Free |
Yes |
GPL |
groups, character theory, discrete mathematics |
| GiNaC |
Christian Bauer, Alexander Frink, Richard Kreckel, et al. |
1997 |
1999 |
1.5.3 (2009) |
Free |
Yes |
GPL |
C++ library |
| JACAL |
Aubrey Jaffer |
1989 |
1991 |
1c1 (2009) |
Free |
Yes |
GPL |
Interactive symbolic mathematics program in Scheme |
| Java Algebra System |
Heinz Kredel |
2000 |
2005 |
2.0 |
Free |
Yes |
GPL or LGPL |
Commutative and non-commutative, Gröbner bases, gcd, Java library |
| LiveMath |
Math Monkeys |
? |
1991 |
3.5.9 / 2007 |
$149, $45 student (1 year) |
No |
proprietary |
WYSIWYG input and output, interactive solving and graphing (formerly Theorist) |
| Macaulay2 |
Daniel Grayson and Michael Stillman |
? |
? |
1.2 (2009) |
Free |
Yes |
GPL |
polynomials |
| Macsyma |
MIT Project MAC and Symbolics |
1968 |
1978 |
2.4 (1999) |
$500 |
No |
proprietary |
Lisp-based; it was discontinued in 1999. Continues as the open-source Maxima. |
| Magma |
University of Sydney |
~1990 |
1993 |
2.14 |
$1,150 |
No |
proprietary |
Algebra, Cryptography, Group Theory, Number Theory |
| Maple |
Maplesoft |
1980 |
1984 |
13 (April 2009) |
$1,895 (Commercial), from $99 (Student)[2] |
No |
proprietary |
Library source code is viewable |
| MAS |
Heinz Kredel, Michael Pesch |
1989 |
? |
1.01 (1998) |
Free |
? |
unspecified |
Modula-2 source code available |
| Mathcad |
Parametric Technology Corporation |
1985 |
1985 |
14 / 2007 |
$1,195[3] |
No |
proprietary |
integrates live, standard mathematical notation, text and graphs in a single worksheet with unit-aware calculations |
| MathEclipse |
Axel Kramer |
2002 |
2002 |
03/2007 |
Free |
Yes |
CPL |
Java symbolic computing library and Eclipse plugin |
| Mathematica |
Wolfram Research |
1986 |
1988 |
7.0.1 / March 2009 |
$2,495-$3120 (Professional), $1095 (Education), $140 (Student), $69.95 (Student annual license) [4] $295 (Personal)[5] |
No |
proprietary |
System also includes extensive numeric capabilities, statistics, image processing, number theory, boolean computation and is a development environment. |
| Mathiverse Calculator |
Mathiverse |
2009 |
2009 |
0.0.1 (2009) |
Free |
No |
proprietary |
Complex number manipulation |
| Mathomatic |
George Gesslein II |
1986 |
1987 |
14.6.3 (2009) |
Free |
Yes |
LGPL |
Elementary algebra |
| MathXpert |
Michael Beeson |
1985 |
1997 |
3.0.4 / 2008 |
Algebra Assistant $49.95, Calculus Assistant $89.95[6] |
No |
proprietary |
Step by step solutions, correct graphs, keeps track of assumptions for logical correctness of results. |
| Maxima |
MIT Project MAC and Bill Schelter et al. |
1967 |
1998 |
5.19.2 (2009) |
Free |
Yes |
GPL |
Mature, full-featured CAS written in Common Lisp |
| meditor |
Raphael Jolly |
2000 |
2000 |
2.0_01 |
Free |
Yes |
GPL |
Java symbolic computing library and math editor |
| MuMATH |
Soft Warehouse |
1970s |
1980 |
MuMATH-83 |
Discontinued |
No |
proprietary |
|
| MuPAD |
SciFace Software |
1989 |
2008 |
5.1 |
Discontinued |
No |
proprietary |
The MathWorks company has incorporated MuPAD technology into Symbolic Math Toolbox |
| OpenAxiom |
Gabriel Dos Reis |
2007 |
August 2007 |
1.2.0 August 2008 |
Free |
Yes |
modified BSD license |
Forked from Axiom in 2007 |
| PARI/GP |
Henri Cohen, Karim Belabas, et al. |
1985 |
? |
2.3.4 (2008) |
Free |
Yes |
GPL |
Number theory, arbitrary precision |
| Reduce |
Anthony C. Hearn |
1960s |
1968 |
April 2009 |
Free |
Yes |
modified BSD license |
comprehensive CAS, open-sourced and freed in December 2008 |
| Sage |
William A. Stein |
2005 |
2005 |
4.02 / June 2009 |
Free |
Yes |
GPL |
System also includes extensive numeric capabilities, statistics, image processing, number theory and is a development environment using a web-based interface via HTTP or HTTPS. |
| SINGULAR |
University of Kaiserslautern |
1984 |
1997 |
3.0.4 |
Free |
Yes |
GPL |
polynomials, rings, ideals |
| SMath Studio |
|
2006 |
|
0.82 / 2009 |
Free |
No |
|
WYSIWYG interface and publication-quality printouts |
| SpaceTime Mathematics |
SpaceTime Mathematics |
2006 |
2008 |
3.0 |
$19 |
No |
proprietary |
Computer algebra and calculus, mobile device scientific computing |
| Symbolic Math Toolbox |
MathWorks |
1989 |
2008 |
5.1 |
$2900 including required Matlab |
No |
proprietary |
Provides tools for solving and manipulating symbolic math expressions and performing variable-precision arithmetic. |
| SymbolicC++ |
W.-H. Steeb |
1997 |
1997 |
3.29 (2009-01-03) |
Free |
Yes |
GPL |
SymbolicC++ uses C++ and object-oriented programming to develop a computer algebra system |
| SymPy |
Ondřej Čertík |
2006 |
2007 |
0.6.5 / July 17, 2009 |
Free |
Yes |
modified BSD license |
general purpose CAS in pure Python |
| SympyCore |
Pearu Peterson |
2008 |
2008 |
0.1 / February 29, 2008 |
Free |
Yes |
modified BSD license |
an efficient Python CAS |
| TI-Nspire CAS (Computer Software) |
Texas Instruments |
2006 |
2008 |
1.4.11644 |
$136 |
No |
proprietary |
Successor to Derive. Based on Derive's engine used in TI-89/Voyager 200 and TI-Nspire handheld |
| TRIP |
J. Laskar, M. Gastineau |
1989 |
2002 |
1.0.0 / July 1, 2009 |
Free |
No |
Academic license |
celestial mechanics |
| WIRIS |
Maths for More |
1997 |
2001 |
2.0 |
|
No |
proprietary |
Online computer algebra system and interactive geometry software |
| Xcas |
Bernard Parisse |
2004 |
2008 |
0.8.1 / 2008 September 26 |
Free |
Yes |
GPL |
Compatible modes for maple, mupad and TI89 syntax. Symbolic spreadsheets, Giac library for use with other programs. ARM ports for some PDAs with Linux or WinCE[7] |
| Yacas |
Ayal Pinkus et al. |
? |
? |
1.2.2 / September 27, 2007 |
Free |
Yes |
GPL |
|
Creator |
Development started |
First public release |
Latest stable version |
Cost (USD) |
Open source |
License |
Notes |
These computer algebra systems are sometimes combined with "front end" programs that provide a nice user interface, such as the general-purpose GNU TeXmacs.
