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 former times and in less complex societies, children could find their way into the adult world by watching workers and perhaps giving them a hand; by lingering at the general store long enough to chat with, and overhear conversations of, adults...; by sharing and participating in the tasks of family and community that were necessary to survival. They were in, and of, the adult world while yet sensing themselves apart as children.”
—Dorothy H. Cohen (20th century)
“It is a maxim among these lawyers, that whatever hath been done before, may legally be done again: and therefore they take special care to record all the decisions formerly made against common justice and the general reason of mankind.”
—Jonathan Swift (1667–1745)
“I never saw any people who appeared to live so much without amusement as the Cincinnatians.... Were it not for the churches,... I think there might be a general bonfire of best bonnets, for I never could discover any other use for them.”
—Frances Trollope (1780–1863)