View source for List of computer algebra systems

{{Short description|none}}
The following tables provide a '''comparison of [[computer algebra system]]s''' (CAS).<ref>{{cite web|url=http://www.sigsam.org/software/index.phtml |title=Computer Algebra Software |work=Special Interest Group on Symbolic and Algebraic Manipulation |publisher=Association for Computing Machinery |date=2008-07-11 |access-date=2012-11-16}}</ref><ref>{{cite web|url=http://www.computeralgebra.nl/systems_and_packages/systems_and_packages.html |title=Systems and Packages |publisher=Computer Algebra Information Network |date=1998-05-07 |access-date=2012-11-17}}</ref><ref>{{cite web |title=SAC Systems Listing |url=http://www.symbolicnet.org/systems/Systems.html |publisher=SymbolicNet |access-date=2012-11-17 |url-status=dead |archive-url=https://web.archive.org/web/20120415021413/http://www.symbolicnet.org/systems/Systems.html |archive-date=2012-04-15 }}</ref> 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.<ref>{{cite book|last=Aladjev|first=V.Z.|title=Computer algebra systems : a new software toolbox for Maple|year=2004|publisher=Fultus Books|location=[S.l.]|isbn=9781596820005|pages=9}}</ref><ref>{{cite book|last=Labahn|first=K.O. Geddes; S.R. Czapor; G.|title=Algorithms for computer algebra|year=1999|publisher=Kluwer|location=Boston|isbn=9780792392590|pages=xv|edition=6. pr.|url=https://archive.org/details/algorithmsforcom0000gedd}}</ref> 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.<ref>{{cite book|last=Gerhard|first=Joachim von Zur Gathen; Jürgen|title=Modern computer algebra|url=https://archive.org/details/moderncomputeral00gath_990|url-access=limited|year=2003|publisher=Cambridge Univ. Press|location=Cambridge|isbn=9780521826464|pages=[https://archive.org/details/moderncomputeral00gath_990/page/n16 4]|edition=2.}}</ref>

==General==
{| class="wikitable sortable" style="font-size: smaller; text-align: center; width: auto;"
|-
! style="width: 12em" | System
! Creator
! Development started
! First public release
! Latest stable version
! Latest stable release date
! data-sort-type="currency"|Cost ([[United States dollar|USD]])
! License
! Notes
|-
! [[Axiom (computer algebra system)|Axiom]]
| Richard Jenks
| 1977
| 1993 and 2002<ref>The first date is that of the first commercial release (to be checked), the second one is that of the first free license</ref>
| || {{dts|2014|08}}<ref>{{cite web|url=http://www.axiom-developer.org/axiom-website/download.html |title=Axiom Computer Algebra System |access-date=2016-04-29}}</ref>
| {{free}}
| {{free|modified [[BSD licenses|BSD license]]}}
| General purpose CAS. Continuous Release using Docker Containers
|-
! [[Cadabra (computer program)|Cadabra]]
| Kasper Peeters
| 2001
| 2007
| 2.4.0 || {{dts|2022|08|25|format=dmy}}
| {{free}}
| {{GPL-lic}}
| CAS for [[tensor field]] theory
|-
! [[CoCoA]]
| John Abbott, [[Anna Maria Bigatti|Anna M. Bigatti]], Giovanni Lagorio
| 1987
| 1995
| 5.2.0 || {{dts|2017|05|02|format=dmy}}
| {{free}}
| {{GPL-lic}}
| Specialized CAS for [[commutative algebra]]
|-
! [[Derive (computer algebra system)|Derive]]
| Soft Warehouse
| 1979
| 1988
| 6.1 || {{dts|2007|11}}
| Discontinued
| {{proprietary}}
| CAS designed for DOS and Windows microcomputers; it was discontinued in 2007
|-
! [[Erable]] (aka ALGB)
| {{ill|Bernard Parisse|fr}}, Mika Heiskanen, Claude-Nicolas Fiechter
| 1993
| 1993
| 4.20060919 || {{dts|2009|04|21|format=dmy}}
| {{free}}
| {{free|[[LGPL]]}}
| CAS designed for [[Hewlett-Packard]] scientific [[graphing calculators]] of the [[HP-48 series|HP 48]]/[[HP-49 series|49]]/[[HP-39g series|40]]/[[HP 50g|50]] series; discontinued in 2009
|-
! [[Fermat (computer algebra system)|Fermat]]
| Robert H. Lewis
| 1986
| 1993
| 6.5 || {{dts|2021|06|21|format=dmy}}
| $70 if grant money available, otherwise $0
| {{GPL-lic}}
| Specialized CAS for [[resultant]] computation and [[linear algebra]] with [[polynomial]] entries
|-
! [[FORM (symbolic manipulation system)|FORM]]
| J.A.M. Vermaseren
| 1984
| 1989
| 4.3.1 || {{dts|2023|04|11|format=dmy}}<ref>{{cite web|url=https://github.com/vermaseren/form/releases |title=Releases - vermaseren/form - GitHub |website=[[GitHub]] |access-date=2016-04-29}}</ref>
| {{free}}
| {{GPL-lic}}
| CAS designed mainly for [[particle physics]] 
|-
! [[FriCAS]]
| Waldek Hebisch
| 2007
| 2007
| 1.3.11 || {{dts|2024|07|01|format=dmy}}
| {{free}}
| {{free|modified [[BSD licenses|BSD license]]}}
| Full-featured general purpose CAS. Especially strong at symbolic integration.
|-
! [[GAP (computer algebra system)|GAP]]
| GAP Group
| 1986
| 1986
| 4.13.1 || {{dts|2024|06|13|format=dmy}}<ref>{{Cite web |title=Release v4.13.1 · gap-system/gap |url=https://github.com/gap-system/gap/releases/tag/v4.13.1 |access-date=2024-06-22 |website=GitHub |language=en}}</ref>
| {{free}}
| {{GPL-lic}}<ref>{{cite web|url=http://www.gap-system.org/Download/copyright.html |title=GAP Copyright |date=2012-06-14 |access-date=2015-02-26}}</ref>
| Specialized CAS for [[group theory]] and [[combinatorics]]. 
|-
! [[GeoGebra|GeoGebra CAS]]
| Markus Hohenwarter et al.
|
| 2013
| 6.0.753.0 || {{dts|2023|01|03|format=dmy}}
| {{free|Free for non-commercial use}}<ref name="GeoGebra License">{{cite web |url=https://www.geogebra.org/license |title=GeoGebra License |access-date= 15 July 2023}}</ref>
| [[Freeware]]<ref name="GeoGebra License" />
| Web-based or Desktop CAS Calculator
|-
! [[GiNaC]]
| Christian Bauer, Alexander Frink, Richard B. Kreckel, et al.
| 1999
| 1999
| 1.8.3 || {{dts|2022|03|23|format=dmy}}
| {{free}}
| {{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 || {{dts|2022}}
| {{free}}
| {{free|[[GNU General Public License#Version_3|GPLv3+]]}}
| A high-level programming language for scientific computing and numerical computation mostly compatible with [[MATLAB]]
|-
! [[KANT (software)|KANT/KASH]]
| KANT Group
| {{dunno}}
| {{dunno}}
| 3 || {{dts|2005}}/2008
| {{free|Free for non-commercial use}}
| own license
| Specialized CAS for [[algebraic number theory]]
|-
! LiveMath
| MathMonkeys, LLC
| 1991
| 1993
| 3.6 || {{dts|2018}}
| $399 (Commercial), $299 (Academic), $199 (Personal Edition), $69 (Student), $29 (Student, 3-Month term)<ref>{{cite web | url=https://www.livemath.com/store | title=LiveMath Store | access-date=2020-02-25}}</ref>
| {{proprietary}}
| More interface than computing power
|-
! [[Macaulay2]]
| Daniel Grayson and [[Michael Stillman]]
| 1992
| 1994
| 1.24.05 || {{dts|2024|05|15|format=dmy}}
| {{free}}
| {{GPL-lic}}
| Specialized CAS for [[algebraic geometry]] and [[commutative algebra]]
|-
! [[Macsyma]]
| [[MIT Project MAC]] and [[Symbolics]]
| 1968
| 1978
| 2.4 || {{dts|1999}}
| $500
| {{proprietary}}
| The oldest general purpose CAS. Still alive as [[Maxima (software)|Maxima]].
|-
! [[Magma (computer algebra system)|Magma]]
| [[University of Sydney]]
| data-sort-value=1990|~1990
| 1993
| 2.27-8 || {{dts|2023|02|22|format=dmy}}
| $1,440
| {{proprietary}}
| General purpose CAS, originally specialized in [[group theory]]. Works with elements of [[algebraic structure]]s rather than with non typed [[expression (mathematics)|mathematical expressions]]
|-
! [[Magnus (computer algebra system)|Magnus]]
| The New York Group Theory Cooperative
| 1994
| 1997
| || {{dts|2005}}
| {{free}}
| {{GPL-lic}}
| Specialized CAS for [[group theory]] providing facilities for doing calculations in and about [[infinite group]]s. Discontinued in 2005.
|-
! [[Maple (software)|Maple]]
| Symbolic Computation Group, [[University of Waterloo]]
| 1980<ref name="MacCallum2018">{{cite journal|last1=MacCallum|first1=Malcolm A. H.|title=Computer algebra in gravity research|journal=Living Reviews in Relativity|volume=21|issue=1|year=2018|page=6|issn=2367-3613|doi=10.1007/s41114-018-0015-6|pmid=30174551|pmc=6105178|bibcode=2018LRR....21....6M|doi-access=free}}</ref>
| 1984
| {{Latest stable software release/Maple}} || {{dts|2022|03|15|format=dmy}}
| $2,390(Commercial), $2,265 (Government), $995 (Academic), $239 (Personal Edition), $99 (Student), $79 (Student, 12-Month term)<ref>{{cite web | url=https://webstore.maplesoft.com | title=Maplesoft Web Store | access-date=2019-03-14}}</ref>
| {{proprietary}}
| One of the major general purpose CAS
|-
! [[Mathcad]]
| [[Parametric Technology Corporation]]
| 1985
| 1985
| 15.0 M045 || {{dts|2021|02|27|format=dmy}}
| $1,600 (Commercial), $105 (Student), Free (Express Edition)<ref>{{cite web | url=http://www.ptc.com/product/mathcad/how-to-buy | title=PTC Web Store | access-date=2015-02-01}}</ref>
| {{proprietary}}
| [[Numerical software]] with some CAS capabilities
|-
! [[Mathematica]]
| [[Wolfram Research]]
| 1986
| 1988
| {{Latest stable software release/Mathematica}} || {{dts|2022|06|29|format=dmy}}
| $2,495 (Professional), $1,095 (Education), $295 (Personal),<ref name="Mathematica-Macworld">{{cite web|url=http://www.macworld.com/article/138664/2009/02/mathematica.html|title=Mathematica Home Edition Released|last=Cohen|first=Peter|publisher=[[Macworld]]|date=2009-02-05|access-date=2014-07-03}}</ref> $140 (Student), $69.95 (Student annual license),<ref>{{cite web | url=http://store.wolfram.com | title=Wolfram Worldwide Web Store | access-date=2008-11-20}}</ref> free on [[Raspberry Pi]] hardware<ref name="Mathematica-Raspberry_Pi">{{cite web|url=https://www.theverge.com/2013/11/21/5130394/raspberry-pi-includes-mathematica-wolfram-language-free|title=Raspberry Pi now includes Mathematica and Wolfram Language for free|last=Kastrenakes|first=Jacob|publisher=[[The Verge]]|date=2013-11-21|access-date=2014-07-03}}</ref>
| {{proprietary}}
| One of the major general purpose CAS
|-
! Mathics
| Jan Pöschko 
| 2016
| 2016
| 6.0.1 || {{dts|2023|03|05|format=dmy}}
| {{free}}
| {{free|[[GPL3]]}}
| Uses Mathematica syntax. 
|-
! [[Mathomatic]]
| George Gesslein II
| 1986
| 1987
| 16.0.5 || {{dts|2012}}
| Discontinued
| {{free|[[LGPL]]}}
| [[Elementary algebra]], [[calculus]], [[complex number]] and [[polynomial]] manipulations.
|-
! [[Maxima (software)|Maxima]]
| [[MIT Project MAC]] and [[Bill Schelter]] et al.
| 1967
| 1998
| 5.46.0<ref>[http://maxima.sourceforge.net/ Maxima, a Computer Algebra System<!-- Bot generated title -->]</ref> || {{dts|2022|04|13|format=dmy}}
| {{free}}
| {{GPL-lic}}
| General purpose CAS. Continuation of [[Macsyma]]; new releases occur approximately two times per year.
|-
! [[MuMATH]]
| Soft Warehouse
| 1970s
| 1980
| MuMATH-83 ||
| Discontinued
| {{proprietary}}
| Predecessor of [[Derive (computer algebra system)|Derive]]
|-
! [[MuPAD]]
| SciFace Software
| 1989
| 2008
| 5.1 || {{dts|2008}}
| Discontinued
| {{proprietary}}
| [[MathWorks]] has incorporated MuPAD technology into Symbolic Math Toolbox
|-
! [[Axiom (computer algebra system)#History|OpenAxiom]]
| Gabriel Dos Reis
| 2007
| 2007
| 1.4.2 || {{dts|2013}}
| {{free}}
| {{free|modified [[BSD licenses|BSD license]]}}
| General purpose CAS. A fork of Axiom.
|-
! [[PARI/GP]]
| [[Henri Cohen (number theorist)|Henri Cohen]], Karim Belabas, Bill Allombert et al.
| 1985
| 1990
| 2.11.4 || {{dts|2020|04|17|format=dmy}}
| {{free}}
| {{GPL-lic}}
| Specialized CAS for [[number theory]]. 
|-
! [[Reduce (computer algebra system)|Reduce]]
| [[Anthony C. Hearn]]
| 1960s
| 1968
| || {{dts|2018}}
| {{free}}
| {{free|modified [[BSD licenses|BSD license]]}}
| Historically important general purpose CAS. Still alive, as open-sourced and freed in December 2008
|-
! [[SageMath]]
| [[William A. Stein]]
| 2005
| 2005
| 9.8 || {{dts|2023|02|11|format=dmy}}<ref>{{cite web|url=https://www.sagemath.org/|title=SageMath – Open-Source Mathematical Software System|access-date=2022-02-18}}</ref>
| {{free}}
| {{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 || {{dts|2023|03|10|format=dmy}}
| {{free}}
| {{free|[[CeCILL]] (GPL-compatible) until version 5.5.2 GPL v2.0 since version 6.0.2}}
| Matlab alternative. 
|-
![[SICMUtils]]
|Colin Smith, Sam Ritchie
|2014
|2016
|0.13.0 || {{dts|2020|11|09|format=dmy}}
| {{free}}
| {{GPL-lic}}
|[[Clojure]] and [[ClojureScript|Clojurescript]] [[computer algebra system]] optimized for [[classical mechanics]] and [[differential geometry]] investigations.
|-
! [[SINGULAR]]
| [[University of Kaiserslautern]]
| 1984
| 1997
| 4-3-0 || {{dts|2022|01|14|format=dmy}}
| {{free}}
| {{GPL-lic}}
| Computer algebra system for polynomial computations, with special emphasis on [[commutative algebra|commutative]] and [[non-commutative algebra]], [[algebraic geometry]], and [[singularity theory]].
|-
! [[SMath Studio]]
| Andrey Ivashov
| 2004
| 2006
| 1.0.8348 || {{dts|2022|11|09|format=dmy}}
| {{Free}}
| {{proprietary}}
| Mathematical notebook program similar to Mathcad.
|-
! [https://symbolica.io/ Symbolica]
| Ben Ruijl
| 2023
| 2024
| 
| July 2024
| Free for hobbyists - One core and one instance free for non-commercial use - At a cost otherwise
| {{Proprietary}} but source available
| CAS Library written in [[Rust (programming language)|Rust]] with [[Python (programming language)|Python]] bindings, focused on performance for large expressions.<ref>{{cite journal 
 |arxiv=2304.13418 |doi=10.26089/NumMet.v24r425 |title=Упрощение рациональных функций для редукции с использованием соотношений интегрирования по частям и не только |date=2023 |last1=Zeng |first1=M. |last2=Smirnov |first2=A.V. |last3=Mokrov |first3=K.S. |journal=Numerical Methods and Programming (Vychislitel'nye Metody I Programmirovanie) |volume=24 |issue=4 |pages=352–367 }}</ref><ref>{{cite arXiv 
 |eprint=2312.00641 |last1=Belitsky |first1=A. V. |last2=Smirnov |first2=V. A. |title=Near mass-shell double boxes |date=2023 |class=hep-th }}</ref><ref>{{cite arXiv 
 |eprint=2311.02370 |last1=Smirnov |first1=Alexander V. |last2=Zeng |first2=Mao |title=FIRE 6.5: Feynman Integral Reduction with New Simplification Library |date=2023 |class=hep-ph }}</ref>
|-
! [[Symbolic Manipulation Program]]
| [[Stephen Wolfram]]
| 1979<ref>{{Cite web|title=Wolfram Announcements Archive » Computer Algebra Pioneer Wins Nobel Prize|publisher=Wolfram Archive|url=https://announcements.wolfram.com/1999/computer-algebra-pioneer-wins-nobel-prize/|date=1999-10-15|access-date=2021-01-19}}</ref>
| 1981
|
| 1988
| Discontinued
| {{proprietary}}
| This software was eventually replaced by [[Mathematica]], and the newer program still retains much of the syntax and functionality of the earlier SMP.<ref>{{Cite journal|last=Wolfram|first=Stephen|date=April 1985|title=Symbolic Mathematical Computation|url=https://content.wolfram.com/uploads/sites/34/2020/07/symbolic-mathematical-computation.pdf|journal=Communications of the ACM|volume=28|issue=4|pages=390–394|doi=10.1145/3341.3347|s2cid=15577857}}</ref>
|-
! Symbolic Math Toolbox ([[MATLAB]])
| [[MathWorks]]
| 1989
| 2008
| 9.4(2018a) || {{dts|2018}}
| $3,150 (Commercial), $99 (Student Suite), $700 (Academic), $194 (Home) including required [[Matlab]]
| {{proprietary}}
| Provides tools for solving and manipulating symbolic math expressions and performing variable-precision arithmetic.
|-
! Symbolics.jl (https://symbolics.juliasymbolics.org/stable/)
| Shashi Gowda, Yingbo Ma, Chris Rackauckas
| 2021
| 2021
| v5.3.1 || {{dts|2023|04|25|format=dmy}}
| {{free}}
| {{free|[[MIT License]]}}
| A fast and modern Computer Algebra System for the [[Julia (programming language)|Julia]] programming language.<ref>{{cite web|url=https://juliasymbolics.org/ |title=JuliaSymbolics |access-date=2022-06-16}}</ref>
|-
! [[SymPy]]
| Ondřej Čertík
| 2006
| 2007
| 1.13.2 || {{dts|2024|08|11|format=dmy}}
| {{free}}
| {{free|modified [[BSD license]]}}
| [[Python (programming language)|Python]]-based
|-
! [[TI-Nspire]] CAS (Computer Software)
| [[Texas Instruments]]
| 2006
| 2009
| 5.1.3 ||2020
|
| {{proprietary}}
| Successor to Derive. Based on Derive's engine used in TI-89/Voyage 200 and TI-Nspire handheld
|-
! [[Wolfram Alpha]]
| [[Wolfram Research]]
| 
| 2009
| || {{dts|2013}}
| Pro version: $4.99 / month, Pro version for students: $2.99 / month, ioRegular version: free
| {{proprietary}}
| Online [[computer algebra system]] with step-by step solutions.
|-
! [[Xcas]]/[[Giac (software)|Giac]]
| {{ill|Bernard Parisse|fr}}
| 2000
| 2000
| 1.9.0-99 || {{dts|2024|05|format=dmy}}
| {{free}}
| {{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]]<ref>{{cite web
|url=http://www-fourier.ujf-grenoble.fr/~parisse/install_en#xcaswince
|title=Xcas ARM
|access-date=2010-10-12
}}</ref>
|-
! [[Yacas]]
| Ayal Pinkus et al.
| 1998<ref>{{cite web | url=http://yacas.sourceforge.net/homepage.html?recent.html&newdesign.html | title=Big changes ahead for Yacas | access-date=2011-04-19}}</ref>
| 1999
| 1.9.1 || {{dts|2020|07|04|format=dmy}}
| {{free}}
| {{GPL-lic}}
|
|- class="sortbottom"
! style="width: 12em"|
! Creator
! Development started
! First public release
! Latest stable version
! Latest stable release date
! Cost ([[United States dollar|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.

{| class="wikitable" style="font-size: smaller; text-align: center; width: auto;" class="wikitable sortable"
|-
! rowspan="2" | System
! rowspan="2" | [[Formula editor]]
! rowspan="2" | [[Arbitrary precision]]
! colspan="2" | [[Calculus]]
! colspan="5" | [[Solver (computer science)|Solvers]]
! rowspan="2" | [[Graph theory]]
! rowspan="2" | [[Number theory]]
! rowspan="2" | [[Quantifier elimination]]
! rowspan="2" | [[Boolean algebra (logic)|Boolean algebra]]
! rowspan="2" | [[Tensors]]
! rowspan="2" | [[Probability]]
! rowspan="2" | [[Control theory]]
! rowspan="2" | [[Group theory]]
! rowspan="2" | System
|-
! [[Integral|Integration]]
! [[Integral transform]]s
! [[Equation]]s
! [[Inequality (mathematics)|Inequalities]]
! [[Diophantine equation]]s
! [[Differential equation]]s
! [[Recurrence relation]]s
|-
| [[Axiom (computer algebra system)|Axiom]]
| {{no}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{no}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{no}}
| {{yes}}
| [[Axiom (computer algebra system)|Axiom]]
|-
| [[Cadabra (computer program)|Cadabra]]
| {{no}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{no}}
| {{yes}}
| {{no}}
| {{no}}
| {{no}}
| {{no}}
| {{no}}
| {{yes}}
| {{no}}
| {{no}}
| {{yes}}
| [[Cadabra (computer program)|Cadabra]]
|-
| [[FriCAS]]
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{no}}
| {{yes}}
| [[FriCAS]]
|-
| [[GAP (computer algebra system)|GAP]]
| {{no}}
| {{yes}}
| {{no}}
| {{no}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{no}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{no}}
| {{no}}
| {{yes}}
| [[GAP (computer algebra system)|GAP]]
|-
| [[Magma (computer algebra system)|Magma]]
| {{no}}
| {{yes}}
| {{no}}
| {{no}}
| {{yes}}
| {{no}}
| {{yes}}
| {{no}}
| {{no}}
| {{yes}}
| {{yes}}
| {{no}}
| {{no}}
| {{no}}
| {{dunno}}
| {{dunno}}
| {{yes}}
| [[Magma (computer algebra system)|Magma]]
|-
| [[Magnus (computer algebra system)|Magnus]]
| {{no}}
| {{yes}}
| {{no}}
| {{no}}
| {{no}}
| {{no}}
| {{no}}
| {{no}}
| {{no}}
| {{dunno}}
| {{dunno}}
| {{no}}
| {{dunno}}
| {{no}}
| {{no}}
| {{no}}
| {{yes}}
| [[Magnus (computer algebra system)|Magnus]]
|-
| [[Maple (software)|Maple]]
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| [[Maple (software)|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}}<ref>{{cite web|url=http://reference.wolfram.com/mathematica/guide/SymbolicTensors.html|title=Symbolic Tensors|publisher=Mathematica Documentation|access-date=2014-07-03}}</ref>
| {{yes}}
| {{yes}}
| {{yes}}
| [[Mathematica]]
|-
| Mathics
| {{no}}
| {{yes}}{{ref label|sagedio|A|^}}
| {{yes}}{{ref label|sagedio|A|^}}
| {{yes}}{{ref label|sagedio|A|^}}
| {{yes}}{{ref label|sagedio|A|^}}
| {{yes}}{{ref label|sagedio|A|^}}
| {{yes}}{{ref label|sagedio|A|^}}
| {{yes}}{{ref label|sagedio|A|^}}
| {{yes}}{{ref label|sagedio|A|^}}
| {{yes}}<ref>{{cite web|url=https://mathics-development-guide.readthedocs.io/en/latest/installing/what-is-mathics.html |title=What makes up Mathics? |website=Mathics's Developer Reference |access-date=2021-07-08}}</ref>
| {{yes}}
| {{no}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{no}}
| {{yes}}
| Mathics
|-
| [[Mathomatic]]
| {{no}}
| {{no}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{no}}
| {{no}}
| {{no}}
| {{no}}
| {{no}}
| {{yes}}
| {{no}}
| {{no}}
| {{no}}
| {{no}}
| {{no}}
| {{no}}
| [[Mathomatic]]
|-
| [[Maxima (software)|Maxima]]
| {{no}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{no}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{no}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| [[Maxima (software)|Maxima]]
|-
| [[Reduce (computer algebra system)|Reduce]]
| {{no}}
| {{yes}}
| {{yes}}
| {{dunno}}
| {{yes}}
| {{yes}}
| {{dunno}}
| {{yes}}
| {{dunno}}
| {{dunno}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{dunno}}
| {{dunno}}
| {{dunno}}
|[[Reduce (computer algebra system)|Reduce]]
|-
| [[SageMath]]
| {{no}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}{{ref label|sagedio|A|^}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{yes}}{{ref label|sageqelim|B|^}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{no}}
| {{yes}}
| [[SageMath]]
|-
|[[SICMUtils]]
| {{no}}
| {{yes}}
| {{yes}}
| {{no}}
| {{yes}}
| {{no}}
| {{no}}
| {{yes}}
| {{no}}
| {{no}}
| {{no}}
| {{no}}
| {{yes}}
| {{yes}}
| {{no}}
| {{no}}
| {{no}}
|[[SICMUtils]]
|-
| [[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}}<ref>{{cite web|url=https://github.com/sympy/sympy/wiki/release-notes-for-0.7.4|title=SymPy release notes for 0.7.4|publisher=[[GitHub]]|access-date=2014-07-03}}</ref>
| {{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}}
| {{dunno}}
| {{dunno}}
| {{yes}}
| [[Wolfram Alpha]]
|-
| [[Xcas]]/[[Giac (software)|Giac]]
| {{yes}}
| {{yes}}
| {{yes}}
| {{no}}
| {{yes}}
| {{yes}}
| {{no}}
| {{yes}}
| {{yes}}
| {{no}}
| {{yes}}
| {{no}}
| {{no}}
| {{no}}
| {{yes}}
| {{dunno}}
| {{dunno}}
| [[Xcas]]/[[Giac (software)|Giac]]
|-
| [[Yacas]]
| {{no}}
| {{yes}}
| {{yes}}
| {{no}}
| {{yes}}
| {{no}}
| {{no}}
| {{no}}
| {{no}}
| {{no}}
| {{no}}
| {{no}}
| {{no}}
| {{no}}
| {{dunno}}
| {{dunno}}
| {{no}}
| [[Yacas]]
|}

<ol type="A">
<li>{{note label|sagedio|A|^}} via SymPy</li>
<li>{{note label|sageqelim|B|^}} via qepcad optional package
</ol>

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 system]]s natively without [[emulator|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.

{| class="wikitable" style="font-size: smaller; text-align: center; width: auto;" class="wikitable sortable"
|-
! style="width: 12em" | System
! [[DOS]]
! [[Microsoft Windows|Windows]]
! [[macOS]]
! [[Linux]]
! [[Berkeley Software Distribution|BSD]]
! [[Solaris (operating system)|Solaris]]
! [[Android (operating system)|Android]]
! [[iOS]]
! [[Software as a service|SaaS]]
! Other
|-
! [[Axiom (computer algebra system)|Axiom]]
| {{dunno}}
| {{No|Emulator}}
| {{Yes}}
| {{Yes}}
| {{No}}
| {{No}}
| {{dunno}}
| {{dunno}}
| {{No}}
|
|-
! [[Cadabra (computer program)|Cadabra]]
| {{no}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{No}}
| {{no}}
| {{no}}
| {{No}}
|
|-
! [[CoCoA]]
| {{No}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{dunno}}
| {{dunno}}
| {{No}}
| [[Tru64 UNIX]], [[HP-UX]], [[IRIX]]
|-
! [[Derive (computer algebra system)|Derive]]
| {{Yes}}
| {{Yes}}
| {{No}}
| {{No}}
| {{No}}
| {{No}}
| {{dunno}}
| {{dunno}}
| {{No}}
|
|-
! [[Erable]]
| {{No}}
| {{No|Emulator}}
| {{No|Emulator}}
| {{No|Emulator}}
| {{No}}
| {{No}}
| {{No}}
| {{No}}
| {{No}}
| [[System RPL]] on [[HP-48 series|HP 48]]/[[HP-49 series|49]]/[[HP 50g|50]]/[[HP-39 series|40]] series
|-
! [[Euler (software)|Euler]]
| {{dunno}}
| {{Yes}}
| {{No}}
| {{Yes}}
| {{No}}
| {{No}}
| {{dunno}}
| {{dunno}}
| {{No}}
|
|-
! [[Fermat (computer algebra system)|Fermat]]
| {{dunno}}
| {{No|[[Cygwin]]}}
| {{Yes}}
| {{Yes}}
| {{No}}
| {{No}}
| {{dunno}}
| {{dunno}}
| {{No}}
|
|-
! [[FORM (symbolic manipulation system)|FORM]]
| {{dunno}}
| {{No|[[Cygwin]]}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{dunno}}
| {{dunno}}
| {{No}}
|
|-
! [[FriCAS]]
| {{dunno}}
| {{Yes|[[Cygwin]]+native}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{dunno}}
| {{No}}
|
|-
! [[GAP (computer algebra system)|GAP]]
| {{dunno}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{dunno}}
| {{dunno}}
| {{No}}
|
|-
! [[KANT (mathematics)|KANT/KASH]]
| {{dunno}}
| {{yes}}
| {{yes}}
| {{yes}}
| {{no}}
| {{no}}
| {{dunno}}
| {{dunno}}
| {{No}}
|
|-
! [[Macaulay2]]
| {{dunno}}
| {{No|[[Cygwin]]}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{dunno}}
| {{dunno}}
| {{No}}
|
|-
! [[Magma (computer algebra system)|Magma]]
| {{dunno}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{dunno}}
| {{dunno}}
| {{No}}
|
|-
! [[Magnus (computer algebra system)|Magnus]]
| {{No}}
| {{Yes}}
| {{dunno}}
| {{Yes}}
| {{dunno}}
| {{Yes}}
| {{No}}
| {{No}}
| {{No}}
| [[Sunos|SunOs]]
|-
! [[Maple (software)|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}}
| {{No}}
| {{No}}
| {{No}}
| {{No}}
| {{Yes}}
| [[Raspberry Pi]]<ref name="Mathematica-Raspberry_Pi"/>
|-
!Mathics
|{{No}}
|{{Yes}}
|{{Yes}}
|{{Yes}}
|{{Yes}}
|{{No}}
|{{No}}
|{{No}}
|{{No}}
|All [[POSIX]] platforms
|-
! [[Mathomatic]]
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{No}}
| {{Yes}}
| {{No}}
| All [[POSIX]] platforms
|-
! [[Maxima (software)|Maxima]]
| {{dunno}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{dunno}}
| {{No}}
| All POSIX platforms with [[Common Lisp]]
|-
! [[MuMATH]]
| {{Yes}}
| {{No}}
| {{No}}
| {{No}}
| {{No}}
| {{No}}
| {{dunno}}
| {{dunno}}
| {{No}}
|
|-
! [[OpenAxiom]]
| {{dunno}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{dunno}}
| {{dunno}}
| {{No}}
|
|-
! [[PARI/GP]]
| {{dunno}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{dunno}}
| {{No}}
|
|-
! [[Reduce (computer algebra system)|Reduce]]
| {{dunno}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{No}}
|
|-
! [[SageMath]]
| {{No}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{No}}
| {{Yes}}
| {{No}}
| {{Yes}}
| {{Yes}}
| 
|-
![[SICMUtils]]
| {{No}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
|Any system that supports [[Clojure]] or [[ClojureScript|Clojurescript]]
|-
! [[SINGULAR]]
| {{dunno}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{dunno}}
| {{dunno}}
| {{No}}
|
|-
! [[SMath Studio]]
| {{No}}
| {{Yes}}
| {{Yes|[[Mono (software)|Mono]]}}
| {{Yes|[[Mono (software)|Mono]]}}
| {{Yes|[[Mono (software)|Mono]]}}
| {{Yes|[[Mono (software)|Mono]]}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| [[Universal Windows Platform]]
|-
! Symbolic Math Toolbox ([[MATLAB]])
| {{No}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{No}}
| {{No}}
| {{No}}
| {{No}}
| {{Yes}}
|
|-
! [[SymbolicC++]]
| {{dunno}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{dunno}}
| {{dunno}}
| {{No}}
|
|-
! [[SymPy]]
| {{dunno}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}<ref>Through [http://www.sympygamma.com/ SymPy Gamma]</ref>
| Any system that supports [[Python (programming language)|Python]]
|-
! [[TI-Nspire]] (desktop software)
| {{No}}
| {{Yes}}
| {{Yes}}
| {{No}}
| {{No}}
| {{No}}
| {{No}}
| {{Yes}}
| {{No}}
|
|-
! [[Xcas]]/[[Giac (software)|Giac]]
| {{No}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{No}}
| [[HP Prime CAS]], [[KhiCAS]] for TI Nspire
|-
! [[Yacas]]
| {{No}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{Yes}}
| {{dunno}}
| {{dunno}}
| {{No}}
|
|}

==Graphing calculators==
Some [[graphing calculator]]s have CAS features.

{| class="wikitable sortable" style="font-size: smaller; text-align: center; width: auto;"
|-
! style="width: 12em" | System
! Creator
! Development started
! First public release / OS version
! Latest stable version / OS version
! Notes
|-
! [[Casio graphic calculators#9850 series (9750/9850/9950/9970)|Casio CFX-9970G]]
| [[Casio|CASIO Computer Co.]]
| {{dunno}}
| 1998
|
|
|-
! [[Casio graphic calculators#Algebra FX series|Casio Algebra FX 2.0]], [[Casio graphic calculators#Algebra FX series|Casio Algebra FX 2.0 Plus]]
| CASIO Computer Co.
| {{dunno}}
| 1999
|
|
|-
! [[Casio ClassPad 300]], [[Casio ClassPad 300|Casio ClassPad 300 Plus]], [[Casio ClassPad 330]], [[Casio ClassPad 300|Casio ClassPad 330 Plus]], [[Casio ClassPad 300|Casio ClassPad fx-CP400]], Casio fx-CG500<br/>Casio ClassPad Manager
| [[Casio|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<!-- start of ALGB/Erable development, not the HP integration -->
| 1.??<!-- first 49G firmware version -->(1999)<!-- introduction of 49G, not first release of Erable -->&nbsp;/ 4<!-- first integrated Erable version -->
| 2.15<!-- firmware version --> (2006-09-19, 2009-04-21) / 4<!-- CAS version -->
| 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<!-- start of Xcas/Giac development, not the HP Prime adaptation -->
| 2013<!-- introduction of the HP Prime -->
| 2.1.14433 (2020 01 21) CAS ver. 1.5.0
| Based on [[Xcas]]/[[Giac (software)|Giac]]. Source code openly available.
|-
! [[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
| {{dunno}}
|
|-
! [[TI-92 Plus]]
| [[Texas Instruments]]
| 1997
| 1998
| 3/27/2003 v2.09
|
|-
! [[TI-Nspire CAS]], [[TI-Nspire series|TI-Nspire CX CAS]], [[TI-Nspire series|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
|
|}

<references group="h" />

==See also==
* [[:Category:Computer algebra systems]]
* [[Comparison of numerical-analysis software]]
* [[Comparison of statistical packages]]
* [[List of information graphics software]]
* [[List of numerical-analysis software]]
* [[List of numerical libraries]]
* [[List of statistical software]]
* [[Mathematical software]]
* [[Web-based simulation]]

==References==
{{Reflist}}

==External links==
* {{curlie|Science/Math/Software|Math Software}}

{{Computer algebra systems}}

{{DEFAULTSORT:Computer algebra systems}}
[[Category:Computer algebra systems| ]]
[[Category:Comparisons of mathematical software]]
[[Category:Mathematics-related lists]]