list of computer algebra systems

{{Short description|none}}

The following tables provide a comparison of computer algebra systems (CAS).{{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}}{{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}}{{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 }} 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.{{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}}{{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}} 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.{{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.}}

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 (USD)

! License

! Notes

Axiom

| Richard Jenks

| 1977

| 1993 and 2002The first date is that of the first commercial release (to be checked), the second one is that of the first free license

| || {{dts|2014|08}}{{cite web|url=http://www.axiom-developer.org/axiom-website/download.html |title=Axiom Computer Algebra System |access-date=2016-04-29}}

| {{free}}

| {{free|modified BSD license}}

| General purpose CAS. Continuous Release using Docker Containers

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 M. Bigatti, Giovanni Lagorio

| 1987

| 1995

| 5.2.0 || {{dts|2017|05|02|format=dmy}}

| {{free}}

| {{GPL-lic}}

| Specialized CAS for commutative algebra

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/49/40/50 series; discontinued in 2009

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

| J.A.M. Vermaseren

| 1984

| 1989

| 4.3.1 || {{dts|2023|04|11|format=dmy}}{{cite web|url=https://github.com/vermaseren/form/releases |title=Releases - vermaseren/form - GitHub |website=GitHub |access-date=2016-04-29}}

| {{free}}

| {{GPL-lic}}

| CAS designed mainly for particle physics

FriCAS

| Waldek Hebisch

| 2007

| 2007

| 1.3.12 || {{dts|2025|06|03|format=dmy}}

| {{free}}

| {{free|modified BSD license}}

| Full-featured general purpose CAS. Especially strong at symbolic integration.

GAP

| GAP Group

| 1986

| 1986

| 4.13.1 || {{dts|2024|06|13|format=dmy}}{{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}}

| {{free}}

| {{GPL-lic}}{{cite web|url=http://www.gap-system.org/Download/copyright.html |title=GAP Copyright |date=2012-06-14 |access-date=2015-02-26}}

| Specialized CAS for group theory and combinatorics.

GeoGebra CAS

| Markus Hohenwarter et al.

|

| 2013

| 6.0.753.0 || {{dts|2023|01|03|format=dmy}}

| {{free|Free for non-commercial use}}{{cite web |url=https://www.geogebra.org/license |title=GeoGebra License |access-date= 15 July 2023}}

| Freeware

| Web-based or Desktop CAS Calculator

GiNaC

| Christian Bauer, Alexander Frink, Richard B. Kreckel, et al.

| 1999

| 1999

| 1.8.9 || {{dts|2025|05|15|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|GPLv3+}}

| A high-level programming language for scientific computing and numerical computation mostly compatible with MATLAB

KANT/KASH

| KANT Group

| {{dunno}}

| {{dunno}}

| 3 || {{dts|2005}}/2008

| {{free|Free for non-commercial use}}

| own license

| Specialized CAS for algebraic number theory

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}}

| One of the oldest general purpose CAS. Still alive as Maxima.

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 structures rather than with non typed mathematical expressions

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 groups. Discontinued in 2005.

Maple

| Symbolic Computation Group, University of Waterloo

| 1980{{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}}

| 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){{cite web | url=https://webstore.maplesoft.com | title=Maplesoft Web Store | access-date=2019-03-14}}

| {{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){{cite web | url=http://www.ptc.com/product/mathcad/how-to-buy | title=PTC Web Store | access-date=2015-02-01}}

| {{proprietary}}

| Numerical software with some CAS capabilities

Mathemagix

| Joris van der Hoeven

| 1999

| 2002

| ||

| {{free}}

| {{GPL-lic}}

| Computer algebra and analysis system

Mathematica

| Wolfram Research

| 1986

| 1988

| {{Latest stable software release/Mathematica}} || {{dts|2022|06|29|format=dmy}}

| $2,495 (Professional), $1,095 (Education), $295 (Personal),{{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}} $140 (Student), $69.95 (Student annual license),{{cite web | url=http://store.wolfram.com | title=Wolfram Worldwide Web Store | access-date=2008-11-20}} free on Raspberry Pi hardware{{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}}

| {{proprietary}}

| One of the major general purpose CAS

Mathomatic

| George Gesslein II

| 1986

| 1987

| 16.0.5 || {{dts|2012}}

| Discontinued

| {{free|LGPL}}

| Elementary algebra, calculus, complex number and polynomial manipulations.

Maxima

| MIT Project MAC and Bill Schelter et al.

| 1967

| 1998

| 5.47.0[http://maxima.sourceforge.net/ Maxima, a Computer Algebra System] || 2023

| {{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

MuPAD

| SciFace Software

| 1989

| 2008

| 5.1 || {{dts|2008}}

| Discontinued

| {{proprietary}}

| MathWorks has incorporated MuPAD technology into Symbolic Math Toolbox

OpenAxiom

| Gabriel Dos Reis

| 2007

| 2007

| 1.4.2 || {{dts|2013}}

| {{free}}

| {{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 || {{dts|2020|04|17|format=dmy}}

| {{free}}

| {{GPL-lic}}

| Specialized CAS for number theory.

REDUCE

| Anthony C. Hearn

| 1963

| 1968

| {{Latest stable software release/REDUCE}}|| See "Latest stable version".

| {{free}}

| {{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

| {{LSR/wikidata|qid=Q1165184}}|| {{wikidata|qualifier|normal+|single|Q1165184|P348|publicationDate}}

| {{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.

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 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.

Symbolic Manipulation Program

| Stephen Wolfram

| 1979{{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}}

| 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.{{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}}

Symbolic Math Toolbox (MATLAB)

| MathWorks

| 1989

| 2008

| 2024b || {{dts|2024}}

| $3,150 (Commercial), $99 (Student Suite), $700 (Academic), $194 (Home) including price of MATLAB.

| {{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 || {{dts|2024|08|11|format=dmy}}

| {{free}}

| {{free|modified BSD license}}

| 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

| {{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{{cite web

|url=http://www-fourier.ujf-grenoble.fr/~parisse/install_en#xcaswince

|title=Xcas ARM

|access-date=2010-10-12

}}

Yacas

| Ayal Pinkus et al.

| 1998{{cite web | url=http://yacas.sourceforge.net/homepage.html?recent.html&newdesign.html | title=Big changes ahead for Yacas | access-date=2011-04-19}}

| 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 (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" {{verth|Formula editor}}

! rowspan="2" {{verth|Arbitrary precision}}

! colspan="2" | Calculus

! colspan="5" | Solvers

! rowspan="2" {{verth|Graph theory}}

! rowspan="2" {{verth|Number theory}}

! rowspan="2" {{verth|Quantifier elimination}}

! rowspan="2" {{verth|Boolean algebra}}

! rowspan="2" {{verth|Tensors}}

! rowspan="2" {{verth|Probability}}

! rowspan="2" {{verth|Control theory}}

! rowspan="2" {{verth|Group theory}}

! rowspan="2" | System

{{verth|Integration}}

! {{verth|Integral transforms}}

! {{verth|Equations}}

! {{verth|Inequalities}}

! {{verth|Diophantine equations}}

! {{verth|Differential equations}}

! {{verth|Recurrence relations}}

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}}

| {{dunno}}

| {{dunno}}

| {{yes}}

| Magma

Magnus

| {{no}}

| {{yes}}

| {{no}}

| {{no}}

| {{no}}

| {{no}}

| {{no}}

| {{no}}

| {{no}}

| {{dunno}}

| {{dunno}}

| {{no}}

| {{dunno}}

| {{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}}{{cite web|url=http://reference.wolfram.com/mathematica/guide/SymbolicTensors.html|title=Symbolic Tensors|publisher=Mathematica Documentation|access-date=2014-07-03}}

| {{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}}

| {{yes2}}Yes*

| {{no}}

| {{yes2}}Yes*

| {{no}}

| {{yes}}

| {{no}}

| {{yes}}

| {{dunno}}

| {{dunno}}

| {{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}}{{ref label|sagedio|A|^}}

| {{yes}}

| {{yes}}

| {{yes}}

| {{yes}}

| {{yes}}{{ref label|sageqelim|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}}{{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}}

| {{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

| {{yes}}

| {{yes}}

| {{yes}}

| {{no}}

| {{yes}}

| {{yes}}

| {{no}}

| {{yes}}

| {{yes}}

| {{no}}

| {{yes}}

| {{no}}

| {{no}}

| {{no}}

| {{yes}}

| {{dunno}}

| {{dunno}}

| Xcas/Giac

Yacas

| {{no}}

| {{yes}}

| {{yes}}

| {{no}}

| {{yes}}

| {{no}}

| {{no}}

| {{no}}

| {{no}}

| {{no}}

| {{no}}

| {{no}}

| {{no}}

| {{no}}

| {{dunno}}

| {{dunno}}

| {{no}}

| Yacas

  1. {{note label|sagedio|A|^}} via SymPy
  2. {{note label|sageqelim|B|^}} 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.

class="wikitable" style="font-size: smaller; text-align: center; width: auto;" class="wikitable sortable"
style="width: 12em" | System

! DOS

! Windows

! macOS

! Linux

! BSD

! Solaris

! Android

! iOS

! SaaS

! Other

Axiom

| {{dunno}}

| {{No|Emulator}}

| {{Yes}}

| {{Yes}}

| {{No}}

| {{No}}

| {{dunno}}

| {{dunno}}

| {{No}}

|

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

| {{Yes}}

| {{Yes}}

| {{No}}

| {{No}}

| {{No}}

| {{No}}

| {{No}}

| {{No}}

| {{No}}

|

Erable

| {{No}}

| {{No|Emulator}}

| {{No|Emulator}}

| {{No|Emulator}}

| {{No}}

| {{No}}

| {{No}}

| {{No}}

| {{No}}

| System RPL on HP 48/49/50/40 series

Euler

| {{dunno}}

| {{Yes}}

| {{No}}

| {{Yes}}

| {{No}}

| {{No}}

| {{dunno}}

| {{dunno}}

| {{No}}

|

Fermat

| {{dunno}}

| {{No|Cygwin}}

| {{Yes}}

| {{Yes}}

| {{No}}

| {{No}}

| {{dunno}}

| {{dunno}}

| {{No}}

|

FORM

| {{dunno}}

| {{No|Cygwin}}

| {{Yes}}

| {{Yes}}

| {{Yes}}

| {{Yes}}

| {{dunno}}

| {{dunno}}

| {{No}}

|

FriCAS

| {{dunno}}

| {{Yes|Cygwin+native}}

| {{Yes}}

| {{Yes}}

| {{Yes}}

| {{Yes}}

| {{Yes}}

| {{dunno}}

| {{No}}

|

GAP

| {{dunno}}

| {{Yes}}

| {{Yes}}

| {{Yes}}

| {{Yes}}

| {{Yes}}

| {{dunno}}

| {{dunno}}

| {{No}}

|

KANT/KASH

| {{dunno}}

| {{yes}}

| {{yes}}

| {{yes}}

| {{no}}

| {{no}}

| {{dunno}}

| {{dunno}}

| {{No}}

|

Macaulay2

| {{dunno}}

| {{No|Cygwin}}

| {{Yes}}

| {{Yes}}

| {{Yes}}

| {{Yes}}

| {{dunno}}

| {{dunno}}

| {{No}}

|

Magma

| {{dunno}}

| {{Yes}}

| {{Yes}}

| {{Yes}}

| {{Yes}}

| {{Yes}}

| {{dunno}}

| {{dunno}}

| {{No}}

|

Magnus

| {{No}}

| {{Yes}}

| {{dunno}}

| {{Yes}}

| {{dunno}}

| {{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

Mathomatic

| {{Yes}}

| {{Yes}}

| {{Yes}}

| {{Yes}}

| {{Yes}}

| {{Yes}}

| {{No}}

| {{Yes}}

| {{No}}

| All POSIX platforms

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

| {{No}}

| {{Yes}}

| {{Yes}}

| {{Yes}}

| {{Yes}}

| {{Yes}}

| {{Yes}}

| {{Yes}}

| {{No}}

|

SageMath

| {{No}}

| {{Yes}}

| {{Yes}}

| {{Yes}}

| {{No}}

| {{Yes}}

| {{No}}

| {{Yes}}

| {{Yes}}

|

SINGULAR

| {{dunno}}

| {{Yes}}

| {{Yes}}

| {{Yes}}

| {{Yes}}

| {{Yes}}

| {{dunno}}

| {{dunno}}

| {{No}}

|

SMath Studio

| {{No}}

| {{Yes}}

| {{Yes|Mono}}

| {{Yes|Mono}}

| {{Yes|Mono}}

| {{Yes|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}}Through [http://www.sympygamma.com/ SymPy Gamma]

| 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}}

| {{dunno}}

| {{dunno}}

| {{No}}

|

Graphing calculators

Some graphing calculators 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 CFX-9970G

| CASIO Computer Co.

| {{dunno}}

| 1998

|

|

Casio Algebra FX 2.0, Casio Algebra FX 2.0 Plus

| CASIO Computer Co.

| {{dunno}}

| 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

| {{dunno}}

|

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

{{Reflist}}