List of computer algebra systems

From Wikipedia, the free encyclopedia
Revision as of 19:31, 8 June 2025 by imported>Kpghost (→Operating system support: Added SaaS support for Cadabra)
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Template:Short description The following tables provide a comparison of computer algebra systems (CAS).[1][2][3] A CAS is a package comprising a set of algorithms for performing symbolic manipulations on algebraic objects, a language to implement them, and an environment in which to use the language.[4][5] A CAS may include a user interface and graphics capability; and to be effective may require a large library of algorithms, efficient data structures and a fast kernel.[6]

General

System Creator Development started First public release Latest stable version Latest stable release date Cost (USD) License Notes
Axiom Richard Jenks 1977 1993 and 2002[7] Template:Dts[8] Free modified BSD license General purpose CAS. Continuous Release using Docker Containers
Cadabra Kasper Peeters 2001 2007 2.5.12 Template:Dts Free Template:GPL-lic CAS for tensor field theory
CoCoA John Abbott, Anna M. Bigatti, Giovanni Lagorio 1987 1995 5.2.0 Template:Dts Free Template:GPL-lic Specialized CAS for commutative algebra
Derive Soft Warehouse 1979 1988 6.1 Template:Dts Discontinued Template:Proprietary CAS designed for DOS and Windows microcomputers; it was discontinued in 2007
Erable (aka ALGB) Template:Ill, Mika Heiskanen, Claude-Nicolas Fiechter 1993 1993 4.20060919 Template:Dts Free LGPL CAS designed for Hewlett-Packard scientific graphing calculators of the HP 48/49/40/50 series; discontinued in 2009
Fermat Robert H. Lewis 1986 1993 6.5 Template:Dts $70 if grant money available, otherwise $0 Template:GPL-lic Specialized CAS for resultant computation and linear algebra with polynomial entries
FORM J.A.M. Vermaseren 1984 1989 4.3.1 Template:Dts[9] Free Template:GPL-lic CAS designed mainly for particle physics
FriCAS Waldek Hebisch 2007 2007 1.3.12 Template:Dts Free modified BSD license Full-featured general purpose CAS. Especially strong at symbolic integration.
GAP GAP Group 1986 1986 4.13.1 Template:Dts[10] Free Template:GPL-lic[11] Specialized CAS for group theory and combinatorics.
GeoGebra CAS Markus Hohenwarter et al. 2013 6.0.753.0 Template:Dts Free for non-commercial use[12] Freeware[12] Web-based or Desktop CAS Calculator
GiNaC Christian Bauer, Alexander Frink, Richard B. Kreckel, et al. 1999 1999 1.8.9 Template:Dts Free Template:GPL-lic Integrate symbolic computation into C++ programs; no high-level interface, but emphasis on interoperability.
GNU Octave John W. Eaton 1993 1994 7.3.0 Template:Dts Free GPLv3+ A high-level programming language for scientific computing and numerical computation mostly compatible with MATLAB
KANT/KASH KANT Group ? ? 3 Template:Dts/2008 Free for non-commercial use own license Specialized CAS for algebraic number theory
Macaulay2 Daniel Grayson and Michael Stillman 1992 1994 1.24.05 Template:Dts Free Template:GPL-lic Specialized CAS for algebraic geometry and commutative algebra
Macsyma MIT Project MAC and Symbolics 1968 1978 2.4 Template:Dts $500 Template:Proprietary One of the oldest general purpose CAS. Still alive as Maxima.
Magma University of Sydney ~1990 1993 2.27-8 Template:Dts $1,440 Template:Proprietary General purpose CAS, originally specialized in group theory. Works with elements of algebraic structures rather than with non typed mathematical expressions
Magnus The New York Group Theory Cooperative 1994 1997 Template:Dts Free Template:GPL-lic Specialized CAS for group theory providing facilities for doing calculations in and about infinite groups. Discontinued in 2005.
Maple Symbolic Computation Group, University of Waterloo 1980[13] 1984 Template:Latest stable software release/Maple Template:Dts $2,390(Commercial), $2,265 (Government), $995 (Academic), $239 (Personal Edition), $99 (Student), $79 (Student, 12-Month term)[14] Template:Proprietary One of the major general purpose CAS
Mathcad Parametric Technology Corporation 1985 1985 15.0 M045 Template:Dts $1,600 (Commercial), $105 (Student), Free (Express Edition)[15] Template:Proprietary Numerical software with some CAS capabilities
Mathemagix Joris van der Hoeven 1999 2002 Free Template:GPL-lic Computer algebra and analysis system
Mathematica Wolfram Research 1986 1988 Template:Latest stable software release/Mathematica Template:Dts $2,495 (Professional), $1,095 (Education), $295 (Personal),[16] $140 (Student), $69.95 (Student annual license),[17] free on Raspberry Pi hardware[18] Template:Proprietary One of the major general purpose CAS
Mathomatic George Gesslein II 1986 1987 16.0.5 Template:Dts Discontinued LGPL Elementary algebra, calculus, complex number and polynomial manipulations.
Maxima MIT Project MAC and Bill Schelter et al. 1967 1998 5.47.0[19] 2023 Free Template:GPL-lic General purpose CAS. Continuation of Macsyma; new releases occur approximately two times per year.
MuMATH Soft Warehouse 1970s 1980 MuMATH-83 Discontinued Template:Proprietary Predecessor of Derive
MuPAD SciFace Software 1989 2008 5.1 Template:Dts Discontinued Template:Proprietary MathWorks has incorporated MuPAD technology into Symbolic Math Toolbox
OpenAxiom Gabriel Dos Reis 2007 2007 1.4.2 Template:Dts Free modified BSD license General purpose CAS. A fork of Axiom.
PARI/GP Henri Cohen, Karim Belabas, Bill Allombert et al. 1985 1990 2.11.4 Template:Dts Free Template:GPL-lic Specialized CAS for number theory.
REDUCE Anthony C. Hearn 1963 1968 Template:Latest stable software release/REDUCE See "Latest stable version". Free modified BSD license One of the oldest and historically important general purpose CAS. Still alive, as open-sourced and freed in December 2008
SageMath William A. Stein 2005 2005 Template:LSR/wikidata Template:Wikidata Free Template:GPL-lic Mathematics software system combining a number of existing packages, including numerical computation, statistics and image processing
Scilab Scilab Enterprises 1990 1990 2023.0 Template:Dts Free CeCILL (GPL-compatible) until version 5.5.2 GPL v2.0 since version 6.0.2 MATLAB alternative.
SINGULAR University of Kaiserslautern 1984 1997 4-3-0 Template:Dts Free Template:GPL-lic Computer algebra system for polynomial computations, with special emphasis on commutative and non-commutative algebra, algebraic geometry, and singularity theory.
SMath Studio Andrey Ivashov 2004 2006 1.0.8348 Template:Dts Free Template:Proprietary Mathematical notebook program similar to Mathcad.
Symbolic Manipulation Program Stephen Wolfram 1979[20] 1981 1988 Discontinued Template:Proprietary This software was eventually replaced by Mathematica, and the newer program still retains much of the syntax and functionality of the earlier SMP.[21]
Symbolic Math Toolbox (MATLAB) MathWorks 1989 2008 2024b Template:Dts $3,150 (Commercial), $99 (Student Suite), $700 (Academic), $194 (Home) including price of MATLAB. Template:Proprietary Provides tools for solving and manipulating symbolic math expressions and performing variable-precision arithmetic.
SymPy Ondřej Čertík 2006 2007 1.13.2 Template:Dts Free modified BSD license Python-based
TI-Nspire CAS (Computer Software) Texas Instruments 2006 2009 5.1.3 2020 Template:Proprietary Successor to Derive. Based on Derive's engine used in TI-89/Voyage 200 and TI-Nspire handheld
Wolfram Alpha Wolfram Research 2009 Template:Dts Pro version: $4.99 / month, Pro version for students: $2.99 / month, ioRegular version: free Template:Proprietary Online computer algebra system with step-by step solutions.
Xcas/Giac Template:Ill 2000 2000 1.9.0-99 Template:Dts Free GPL General CAS, also adapted for the HP Prime. 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[22]
Yacas Ayal Pinkus et al. 1998[23] 1999 1.9.1 Template:Dts Free Template:GPL-lic
Creator Development started First public release Latest stable version Latest stable release date Cost (USD) License Notes

These computer algebra systems are sometimes combined with "front end" programs that provide a better user interface, such as the general-purpose GNU TeXmacs.

Functionality

Below is a summary of significantly developed symbolic functionality in each of the systems.

System rowspan="2" Template:Verth rowspan="2" Template:Verth Calculus Solvers rowspan="2" Template:Verth rowspan="2" Template:Verth rowspan="2" Template:Verth rowspan="2" Template:Verth rowspan="2" Template:Verth rowspan="2" Template:Verth rowspan="2" Template:Verth rowspan="2" Template:Verth System
Template:Verth Template:Verth Template:Verth Template:Verth Template:Verth Template:Verth Template:Verth
Axiom No Yes Yes Yes Yes Yes Yes Yes Yes No Yes Yes Yes Yes Yes No Yes Axiom
Cadabra No Yes Yes Yes Yes Yes No Yes No No No No No Yes No No Yes Cadabra
FriCAS Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes No Yes FriCAS
GAP No Yes No No Yes Yes Yes No Yes Yes Yes Yes Yes Yes No No Yes GAP
Magma No Yes No No Yes No Yes No No Yes Yes No No No ? ? Yes Magma
Magnus No Yes No No No No No No No ? ? No ? No No No Yes Magnus
Maple Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Maple
Mathcad Yes No Yes No Yes No No No No No No No No No No No No Mathcad
Mathematica Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes[24] Yes Yes Yes Mathematica
Mathomatic No No Yes Yes Yes No No No No No Yes No No No No No No Mathomatic
Maxima No Yes Yes Yes Yes Yes No Yes Yes Yes Yes No Yes Yes Yes Yes Yes Maxima
PARI/GP No Yes Yes No Yes No Yes* No Yes* No Yes No Yes ? ? No Yes PARI/GP
REDUCE Yes Yes Yes Yes Yes Yes No Yes No No Yes Yes Yes Yes No No No REDUCE
SageMath No Yes Yes Yes Yes Yes Yes<templatestyles src="Citation/styles.css"/>[A] Yes Yes Yes Yes Yes<templatestyles src="Citation/styles.css"/>[B] Yes Yes Yes No Yes SageMath
SMath Studio Yes No Yes No Yes No No No No No No No No No No No No SMath Studio
Symbolic Math Toolbox (MATLAB) Yes Yes Yes Yes Yes Yes Yes Yes No Yes Yes No Yes No Yes Yes No Symbolic Math Toolbox (MATLAB)
SymPy No Yes Yes Yes Yes Yes Yes[25] Yes Yes No Yes No Yes Yes Yes No Yes SymPy
Wolfram Alpha Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes No ? ? Yes Wolfram Alpha
Xcas/Giac Yes Yes Yes No Yes Yes No Yes Yes No Yes No No No Yes ? ? Xcas/Giac
Yacas No Yes Yes No Yes No No No No No No No No No ? ? No Yacas
  1. <templatestyles src="Citation/styles.css"/>^ via SymPy
  2. <templatestyles src="Citation/styles.css"/>^ via qepcad optional package

Those which do not "edit equations" may have a GUI, plotting, ASCII graphic formulae and math font printing. The ability to generate plaintext files is also a sought-after feature because it allows a work to be understood by people who do not have a computer algebra system installed.

Operating system support

The software can run under their respective operating systems natively without emulation. Some systems must be compiled first using an appropriate compiler for the source language and target platform. For some platforms, only older releases of the software may be available.

System DOS Windows macOS Linux BSD Solaris Android iOS SaaS Other
Axiom ? Emulator Yes Yes No No ? ? No
Cadabra No Yes Yes Yes Yes No No No Yes
CoCoA No Yes Yes Yes Yes Yes ? ? No Tru64 UNIX, HP-UX, IRIX
Derive Yes Yes No No No No No No No
Erable No Emulator Emulator Emulator No No No No No System RPL on HP 48/49/50/40 series
Euler ? Yes No Yes No No ? ? No
Fermat ? Cygwin Yes Yes No No ? ? No
FORM ? Cygwin Yes Yes Yes Yes ? ? No
FriCAS ? Cygwin+native Yes Yes Yes Yes Yes ? No
GAP ? Yes Yes Yes Yes Yes ? ? No
KANT/KASH ? Yes Yes Yes No No ? ? No
Macaulay2 ? Cygwin Yes Yes Yes Yes ? ? No
Magma ? Yes Yes Yes Yes Yes ? ? No
Magnus No Yes ? Yes ? Yes No No No SunOs
Maple No Yes Yes Yes No No No No No
Mathcad Yes Yes No No No No No No No
Mathematica Yes Yes Yes Yes Some No Some Some Yes Raspberry Pi[18]
Mathomatic Yes Yes Yes Yes Yes Yes No Yes No All POSIX platforms
Maxima ? Yes Yes Yes Yes Yes Yes ? No All POSIX platforms with Common Lisp
MuMATH Yes No No No No No ? ? No
OpenAxiom ? Yes Yes Yes Yes Yes ? ? No
PARI/GP ? Yes Yes Yes Yes Yes Yes ? No
REDUCE No Yes Yes Yes Yes Yes Yes Yes No
SageMath No Yes Yes Yes No Yes No Yes Yes
SINGULAR ? Yes Yes Yes Yes Yes ? ? No
SMath Studio No Yes Mono Mono Mono Mono Yes Yes Yes Universal Windows Platform
Symbolic Math Toolbox (MATLAB) No Yes Yes Yes No No No No Yes
SymbolicC++ ? Yes Yes Yes Yes Yes ? ? No
SymPy ? Yes Yes Yes Yes Yes Yes Yes Yes[26] Any system that supports Python
TI-Nspire (desktop software) No Yes Yes No No No No Yes No
Xcas/Giac No Yes Yes Yes Yes Yes Yes Yes No HP Prime CAS, KhiCAS for TI Nspire
Yacas No Yes Yes Yes Yes Yes ? ? No

Graphing calculators

Some graphing calculators have CAS features.

System Creator Development started First public release / OS version Latest stable version / OS version Notes
Casio CFX-9970G CASIO Computer Co. ? 1998
Casio Algebra FX 2.0, Casio Algebra FX 2.0 Plus CASIO Computer Co. ? 1999
Casio ClassPad 300, Casio ClassPad 300 Plus, Casio ClassPad 330, Casio ClassPad 330 Plus, Casio ClassPad fx-CP400, Casio fx-CG500
Casio ClassPad Manager 		CASIO Computer Co. 2002 2003 3.10.7000 (ClassPad I)

2.01.7000 (ClassPad II, fx-CG500)

ClassPad Manager is an emulator which runs on a PC.
HP 49G, HP 49g+, HP 48gII, HP 50g, HP 40G, HP 40gs Hewlett-Packard 1993 1.??(1999) / 4 2.15 (2006-09-19, 2009-04-21) / 4 Based on Erable, which is also available as an add-on for the HP 48S, HP 48SX, HP 48G, HP 48G+, HP 48GX. Intended for problems which occur in engineering applications. Source code openly available.
HP Prime Hewlett-Packard 2000 2013 2.1.14433 (2020 01 21) CAS ver. 1.5.0 Based on Xcas/Giac. Xcas source code openly available, but not HP Prime implementation.
TI-89 Texas Instruments 1995 1996 2.09
TI-89 Titanium Texas Instruments 2003 2004 7/18/2005 v3.10
TI-92 Texas Instruments 1994 1995 ?
TI-92 Plus Texas Instruments 1997 1998 3/27/2003 v2.09
TI-Nspire CAS, TI-Nspire CX CAS, TI-Nspire CX II CAS Texas Instruments 2006 2008 2021 v4.5.5.79 (For TI-Nspire CX CAS), 2022 v5.4.0.259 (For TI-Nspire CX II CAS)
Voyage 200 Texas Instruments 2001 2002 7/18/2005 v3.10


See also

References

Template:Reflist

External links

Template:Computer algebra systems

  1. ↑ Script error: No such module "citation/CS1".
  2. ↑ Script error: No such module "citation/CS1".
  3. ↑ Script error: No such module "citation/CS1".
  4. ↑ Script error: No such module "citation/CS1".
  5. ↑ Script error: No such module "citation/CS1".
  6. ↑ Script error: No such module "citation/CS1".
  7. ↑ The first date is that of the first commercial release (to be checked), the second one is that of the first free license
  8. ↑ Script error: No such module "citation/CS1".
  9. ↑ Script error: No such module "citation/CS1".
  10. ↑ Script error: No such module "citation/CS1".
  11. ↑ Script error: No such module "citation/CS1".
  12. ↑ a b Script error: No such module "citation/CS1".
  13. ↑ Script error: No such module "Citation/CS1".
  14. ↑ Script error: No such module "citation/CS1".
  15. ↑ Script error: No such module "citation/CS1".
  16. ↑ Script error: No such module "citation/CS1".
  17. ↑ Script error: No such module "citation/CS1".
  18. ↑ a b Script error: No such module "citation/CS1".
  19. ↑ Maxima, a Computer Algebra System
  20. ↑ Script error: No such module "citation/CS1".
  21. ↑ Script error: No such module "Citation/CS1".
  22. ↑ Script error: No such module "citation/CS1".
  23. ↑ Script error: No such module "citation/CS1".
  24. ↑ Script error: No such module "citation/CS1".
  25. ↑ Script error: No such module "citation/CS1".
  26. ↑ Through SymPy Gamma
Retrieved from "http://debianws.lexgopc.com/wiki143/index.php?title=List_of_computer_algebra_systems&oldid=1584197"