
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 stepbystep 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 
GPLstyle license 
Noncommutative and commutative Gröbner bases and more; mainly homogeneous and nonlinear; Lispbased 
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 
CASIOMAPLE 
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 
nonOSI 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 noncommutative, 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 
Lispbased; 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 
Modula2 source code available 
Mathcad 
Parametric Technology Corporation 
1985 
1985 
14 / 2007 
$1,195^{[3]} 
No 
proprietary 
WYSIWYG interface and publicationquality 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, Lispbased 
meditor 
Raphael Jolly 
2000 
2000 
2.0_01 
Free 
Yes 
GPL 
Java symbolic computing library and math editor 
MuMATH 
Soft Warehouse 
1970s 
1980 
MuMATH83 
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, opensourced 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 variableprecision arithmetic. 
SymbolicC++ 
W.H. Steeb 
1997 
1997 
3.29 (20090103) 
Free 
Yes 
GPL 
SymbolicC++ uses C++ and objectoriented 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 
TINspire CAS (Computer Software) 
Texas Instruments 
2006 
2008 
1.4.11644 
$136 
No 
proprietary 
Successor to Derive. Based on Derive's engine used in TI89/Voyager 200 and TINspire 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 