General
System | Creator | Development started | First public release | Latest stable release | Cost (USD) | License | Notes |
---|---|---|---|---|---|---|---|
Axiom | Tim Daly | 1971 | 2002 | 02012-05-01May 2012 | Free | modified BSD license | General purpose CAS. The first one with strong typing for mathematical expressions |
CoCoA | The CoCoA Team | 1987 | 1995 | 02007-01-012007 (4.7.3) | Free | GPL | Specialized CAS for commutative algebra |
Derive | Soft Warehouse | 1979 | 1988 | 02007-11-01November 2007 (6.1) | Discontinued | Proprietary | CAS designed for pocket calculators; it was discontinued in 2007 |
Euler Math Toolbox | R. Grothmann | 1987 | 1988 | 02011-01-012011 (12.3) | Free | GPL | Numerical software linked to Maxima |
Fermat | Robert H. Lewis | 1986 | 1993 | 02010-01-012010 (3.9.9x) | $60 if grant money available, otherwise $0 | Proprietary | Specialized CAS for resultant computation and linear algebra with polynomial entries |
FORM | J.A.M. Vermaseren | 1984 | 1989 | 3.3 | Free | GPL | CAS designed mainly for particle physics |
GAP | GAP Group | 1986 | 1986 | 02012-01-012012 (4.5.6) | Free | GPL | Specialized CAS for group theory and combinatorics. Subpackage of Sage |
KANT/KASH | KANT Group | ? | ? | KASH3 (2005/2008) | free for non-commercial use | own license | Specialized CAS for algebraic number theory |
LiveMath (formerly Theorist) |
Math Monkeys | ? | 1991 | 02007-01-012007 (3.5.9) | $149, $45 student (1 year) | Proprietary | Numerical software for interactive solving and mathematical graphing |
Macaulay2 | Daniel Grayson and Michael Stillman | 1992 | 1994 | 02010-01-012010 (1.4) | Free | GPL | Specialized CAS for algebraic geometry and commutative algebra |
Macsyma | MIT Project MAC and Symbolics | 1968 | 1978 | 01999-01-011999 (2.4) | $500 | Proprietary | The oldest general purpose CAS. Was the state of the art during almost 20 years. Still alive as Maxima |
Magma | University of Sydney | ~1990 | 1993 | 02011-01-012011 (2.17) | $1,150 | Proprietary | General purpose CAS, originally specialized in group theory. Works with elements of algebraic structures rather than with non typed mathematical expressions |
Maple | Symbolic Computation Group, University of Waterloo | 1980 | 1984 | 02012-01-012012 (16) | $2,275 (Commercial), $2,155 (Government), $1245(Academic), $239 (Personal Edition), $99 (Student), $79 (Student, 12-Month term) | Proprietary | One of the major general purpose CAS |
Mathcad | Parametric Technology Corporation | 1985 | 1985 | 02010-01-012010 (15) | $1,195 | Proprietary | Numerical software with some CAS capabilities |
Mathematica | Wolfram Research | 1986 | 1988 | 02012-01-012012 (9.0.0) | $2,495 (Professional), $1095 (Education), $140 (Student), $69.95 (Student annual license) $295 (Personal) | Proprietary | One of the major general purpose CAS |
Mathomatic | George Gesslein II | 1986 | 1987 | 02012-01-012012 (16.0.5) | Free | LGPL | Elementary algebra, calculus, complex number and polynomial manipulations. |
Maxima | MIT Project MAC and Bill Schelter et al. | 1967 | 1998 | 02012-01-012012 (5.28) | Free | GPL | General purpose CAS. Continuation of Macsyma. Subpackage of Sage. |
MuMATH | Soft Warehouse | 1970s | 1980 | MuMATH-83 | Discontinued | Proprietary | Predecessor of Derive |
MuPAD | SciFace Software | 1989 | 2008 | 02008-01-012008 (5.1) | Discontinued | Proprietary | MathWorks has incorporated MuPAD technology into Symbolic Math Toolbox |
OpenAxiom | Gabriel Dos Reis | 2007 | 2007 | 02011-01-012011 (1.4.1) | Free | modified BSD license | General purpose CAS, the first one to have a strong typing for mathematical objects and expressions |
PARI/GP | Henri Cohen, Karim Belabas, Bill Allombert et al. | 1985 | 1990 | 02012-01-012012 (2.5.1) | Free | GPL | Specialized CAS for Number theory. A major reference in this domain. Subpackage of Sage. |
Reduce | Anthony C. Hearn | 1960s | 1968 | 02009-01-012009 | Free | modified BSD license | Historically important general purpose CAS. Still alive, as open-sourced and freed in December 2008 |
Sage | William A. Stein | 2005 | 2005 | 02012-01-012012 (5.3) | Free | GPL | Mathematics software system combining a number of existing packages, including computer algebra, numerical computation, statistics and image processing |
SINGULAR | University of Kaiserslautern | 1984 | 1997 | 02012-01-012012 (3.1.5) | Free | GPL | computer algebra system for polynomial computations, with special emphasis on commutative and non-commutative algebra, algebraic geometry, and singularity theory. |
Symbolic MATLAB Toolbox | MathWorks | 1989 | 2008 | 02011-01-012011 (5.7(2011b)) | $2900 including required MATLAB | Proprietary | Provides tools for solving and manipulating symbolic math expressions and performing variable-precision arithmetic. |
SymbolicC++ | W.-H. Steeb | 1997 | 1997 | 02009-01-012009 (3.29) | Free | GPL | C++ -based |
SymPy | Ondřej Čertík | 2006 | 2007 | 02012-01-012012 (0.7.2) | Free | modified BSD license | Python-based. Subpackage of Sage. |
TI-Nspire CAS (Computer Software) | Texas Instruments | 2006 | 2009 | 3.1.0.392 | Proprietary | Successor to Derive. Based on Derive's engine used in TI-89/Voyager 200 and TI-Nspire handheld | |
Wolfram Alpha | Wolfram Research | 2009 | 2012 | Pro version: $4.99 / month, Pro version for students: $2.99 / month, Regular version free. | Proprietary | Online computer algebra system with step-by step solutions. | |
Xcas | Bernard Parisse | 2004 | 2008 | 02011-01-012011 (0.9.4) | Free | 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 |
Yacas | Ayal Pinkus et al. | 1998 | ? | 02012-01-012012 (1.3.3) | Free | GPL | |
Creator | Development started | First public release | Latest stable version | Cost (USD) | 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.
Read more about this topic: Comparison Of Computer Algebra Systems
Famous quotes containing the word general:
“Amid the pressure of great events, a general principle gives no help.”
—Georg Wilhelm Friedrich Hegel (17701831)
“All the critics who could not make their reputations by discovering you are hoping to make them by predicting hopefully your approaching impotence, failure and general drying up of natural juices. Not a one will wish you luck or hope that you will keep on writing unless you have political affiliations in which case these will rally around and speak of you and Homer, Balzac, Zola and Link Steffens.”
—Ernest Hemingway (18991961)
“A general loathing of a gang or sect usually has some sound basis in instinct.”
—Ezra Pound (18851972)