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:
“In communist society, where nobody has one exclusive sphere of activity but each can become accomplished in any branch he wishes, society regulates the general production and thus makes it possible for me to do one thing today and another tomorrow, to hunt in the morning, fish in the afternoon, rear cattle in the evening, criticize after dinner, just as I have a mind, without ever becoming hunter, fisherman, shepherd or critic.”
—Karl Marx (1818–1883)
“We raised a simple prayer
Before we left the spot,
That in the general mowing
That place might be forgot;
Or if not all so favored,
Obtain such grace of hours
That none should mow the grass there
While so confused with flowers.”
—Robert Frost (1874–1963)
“[The Republican Party] consists of those who, believing in the doctrine that mankind are capable of governing themselves and hating hereditary power as an insult to the reason and an outrage to the rights of men, are naturally offended at every public measure that does not appeal to the understanding and to the general interest of the community.”
—James Madison (1751–1836)