|
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 |
March 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 but still (09/2008) sold at http://www.msmiami.com |
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 |
Eigenmath DS 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 |
November 2007 |
Free |
Yes |
modified BSD license |
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.1 |
Free |
Yes |
GPL |
C++ library |
| JACAL |
Aubrey Jaffer |
1999 |
1999 |
1b9 |
Free |
Yes |
GPL |
Interactive symbolic mathematics program in Scheme |
| JAS |
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 |
easy of use, WYSIWYG input and output, interactive solving and graphing (formerly Theorist) |
| Macaulay |
Dave Bayer and Mike Stillman |
? |
? |
2.1.1 |
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 |
| Magma |
University of Sydney |
~1990 |
1993 |
2.14 |
$1,150 |
No |
proprietary |
Algebra, Cryptography, Group Theory, Number Theory |
| Maple |
Maplesoft |
1980 |
1984 |
12 (May 2008) |
$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 |
WYSIWYG interface and publication-quality printouts |
| 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 (Professional), $1095 (Education), $140 (Student), $69.95 (Student annual license) [4] $295 (Personal)[5] |
No |
proprietary |
Ubiquitous system also includes extensive numeric capabilities, statistics, image processing, number theory, boolean computation and is a development environment. |
| 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. |
| Mathomatic |
George Gesslein II |
1986 |
1987 |
14.4.0 (2009) |
Free |
Yes |
LGPL |
Elementary algebra |
| Maxima |
MIT Project MAC and Bill Schelter et al. |
1967 |
1998 |
5.17.1 (2008) |
Free |
Yes |
GPL |
Symbolic computation, Lisp-based |
| 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 |
3.8 (2004) |
Free |
Yes |
modified BSD license |
comprehensive CAS, open-sourced and freed in December 2008 |
| Sage |
William A. Stein |
2005 |
2005 |
3.2.3 / 5 January 2009 |
Free |
Yes |
GPL |
distribution of OS math software, general purpose CAS, unified Python interface |
| SINGULAR |
University of Kaiserslautern |
1984 |
1997 |
3.0.4 |
Free |
Yes |
GPL |
polynomials, rings, ideals |
| 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.4 / April 4, 2008 |
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 |
| WIRIS |
Maths for More |
1997 |
2001 |
2.0 |
|
No |
proprietary |
Computer Algebra System + Interactive geometry software |
| Xcas |
Bernard Parisse |
2004 |
2008 |
0.8.1 / 2008 September 26 |
Free |
Yes |
GPL |
Xcas has a compatibility mode for maple, mupad and the TI89 calculator.The Giac library can be used inside other C++ programs. Xcas ARM version works for some PDA devices with Linux or Windows CE[7] |
| Yacas |
Ayal Pinkus et al. |
? |
? |
1.2.2 / September 27, 2007 |
Free |
Yes |
GPL |
|
| TRIP |
Laskar J. et Gastineau M. |
1989 |
2002 |
0.99.0 |
Free |
No |
Academic license |
polynomials, power series |
|
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.
