[原文链接]  --- 摘录于维基百科

常规

系统作者开始开发第一次发布最近的稳定版发布价格 (USD)开源许可注释
Algebrator Neven Jurkovic 1986 1999 2009 (4.2) $58.99 否 专有 初等代数；分步解答
Axiom Tim Daly 1971 2002 03 2012 免费 是 修改的BSD许可证 2007年复刻到OpenAxiom和FriCAS
Cadabra Kasper Peeters 2001 2007 2011 (1.29) 免费 是 GPL 张量代数，场论
ClassPad Manager CASIO 1999 2001 3.03 (2008) $45.45 否 专有  
CoCoA The CoCoA Team 1987 1995 2007 (4.7.3) 免费 是 GPL 用于多项式计算
Derive Soft Warehouse 1979 1988 11 2007(6.1) 停产 否 专有 由TI拥有；在2007年停产
DoCon Serge D. Mechveliani 1993 1995 2.11 免费 是 非OSI批准的许可证 Haskell厍
DCAS Robert Fenichel  ? 2005 2005 (1.0) 免费 是 GPL  
Eigenmath George Weigt 2004 2005 2010 (137) 免费 是 GPL 支持的操作系统: Windows, Mac, Android, Poket PC, Nintendo DS[1]
Euler Math Toolbox R. Grothmann 1987 1988 2011 (12.3) 免费 是 GPL 数值和区间运算，矩阵语言，使用Maxima进行符号运算
Fermat Robert H. Lewis 1986 1993 2010(3.9.9x) 若提供补助金$60，否则$0 否 专有 多项式，矩阵
FORM J.A.M. Vermaseren 1984 1989 3.3 免费 是 GPL 高速，任意长度的表达式，多线程
Franklin Math Allen Franklin Jordan 2008 2009 03 2011(0.11) 免费 是 GPL 符号和数值运算，绘图，函数
FriCAS Waldek Hebisch 2007 2007 2012 (1.1.6) 免费 是 修改的BSD许可证 2007年复刻自Axiom
GAP GAP Group 1986 1986 2008(4.4.12) 免费 是 GPL 群论，特征理论，离散数学
JACAL Aubrey Jaffer 1989 1991 2010 (1c2) 免费 是 GPL 基于Scheme
Jasymca Helmut Dersch 2003 2006 2011 (3) 免费 是 GPL 代数，微积分，多项式，矩阵，绘图
Java Algebra System Heinz Kredel 2000 2005 2.0 免费 是 GPL或LGPL 交换和非交换，Gröbner基，最大公因子，Java库
KANT/KASH KANT Group  ?  ? KASH3 (2005/2008) 非商业使用免费 否 自己的许可证 代数数论
LiveMath
(formerly Theorist)		 Math Monkeys  ? 1991 2007 (3.5.9) $149，学生版$45(1年) 否 专有 交互的求解和绘图
Macaulay2 Daniel Grayson and Michael Stillman 1992 1994 2010 (1.4) 免费 是 GPL 代数几何，交换代数
Macsyma MIT Project MAC和Symbolics 1968 1978 1999 (2.4) $500 否 专有 基于Lisp。开源软件Maxima的前身。
Magma 悉尼大学 ~1990 1993 2011 (2.17) $1,150 否 专有 代数，密码学，群论，数论
Magnus Computational Group Theory Package The New York Group Theory Cooperative 1994  ? 2009 免费 是 GPL 有限群论
Maple 滑铁卢大学的符号运算小组 1980 1984 2011 (15.01) $2,275 (商业版), $2,155 (政府版), $1245(高校版), $239 (个人版), $99 (学生版), $79 (学生版,12月的期限)[2] 否 专有 库源代码是可见的
MAS Heinz Kredel, Michael Pesch 1989  ? 1998 (1.01) 免费 ? 未详细说明 可得到Modula-2的源代码
MathCad Parametric Technology Corporation 1985 1985 2010 (15) $1,195[3] 否 专有 标准的数学符号，绘图，智能单元的计算
MathEclipse/Symja Axel Kramer 2002 2002 2007 免费 是 CPL JAVA的符号运算库（使用JAS和Apache Commons-Math）
Mathematica Wolfram Research 1986 1988 2011 (8.0.4) $2,495 (专业版), $1095 (教育版), $140 (学生版), $69.95 (学生版每年的许可证) [4] $295 (个人版)[5] 否 专有 系统还包括了广泛的数值运算，统计学，图像处理，数论，布尔运算和开发环境。
Mathination Orion Math 2010 2010 2010 (1.0) $4.99 否 专有 基本代数，用于iPad，支持多点触控处理方程。
Mathiverse Calculator Mathiverse 2009 2009 2009 (0.0.1) 免费 否 专有 处理复数
Mathomatic George Gesslein II 1986 1987 2012(15.8.2) 免费 是 LGPL 处理初等代数，微积分，复数和多项式
MathPiper Ted Kosan, Sherm Ostrowsky 2008 2010 2010 (.80n) 免费 是 GPL 专门为教育而设计。
MathXpert Michael Beeson 1985 1997 2008 (3.0.4) Algebra Assistant $49.95, Calculus Assistant $89.95[6] 否 专有 分步解答，正确的绘图，为结果的逻辑正确性而跟踪假设
Maxima MIT Project MAC and Bill Schelter et al. 1967 1998 2011 (5.25) 免费 是 GPL 基于Common Lisp的全功能的CAS
meditor Raphael Jolly 2000 2000 2.0_01 免费 是 GPL Java符号运算库和数学编辑器
Microsoft Mathematics 微软  ? 2005 2011(4.0.1108) 免费 否 专有 初等代数和微积分；单位换算；绘图；分步解答
MuMATH Soft Warehouse 1970s 1980 MuMATH-83 停产 否 专有  
MuPAD SciFace Software 1989 2008 2008 (5.1) 停产 否 专有 MathWorks已把MuPAD的技术吸收到Symbolic Math Toolbox中
NCAlgebra and NCGB Helton, deOliveira,Stankus,Miller 1990 1991 2010 (4.0) 免费 是 NCAlgebraBSD Mathematica中的非交换代数，非交换Groebner基，分块矩阵
NCLab FEMhub 2011 2012 2012 (1.0) 免费 否 专有 全面的符号和数值计算方法，包括代数，微积分，微分方程
OpenAxiom Gabriel Dos Reis 2007 2007 2011 (1.4.1) 免费 是 修改的BSD许可证 2007年复刻自Axiom
PARI/GP Henri Cohen, Karim Belabas, Bill Allombert et al. 1985 1990 2011 (2.5.0) 免费 是 GPL 数论，椭圆曲线任意精度计算
Reduce Anthony C. Hearn 1960s 1968 2009 免费 是 修改的BSD许可证 2008年12月起开源并且免费
Sage William A. Stein 2005 2005 2012 (4.8) 免费 是 GPL 包括了广泛的数值运算，统计学，图像处理和数论，而且是一个通过HTTP或HTTPS使用基于网络的界面的开发环境
SINGULAR 凯撒斯劳滕工业大学 1984 1997 2011 (3.1.2) 免费 是 GPL 多项式，环，理想
SMath Studio Andrey Ivashov ? 2005 2012 (0.91) 免费 否 Creative Commons Attribution-NoDerivs (CC-BY-ND) 类似于MathCad的数学笔记本程序
SpaceTime Mathematics SpaceTime Mathematics 2006 2009 2010 (4.0) $39, Windows Mobile Devices的版本免费且停产. 否 专有 计算机代数和微积分，移动设备科学计算
Symbolic MATLABToolbox MathWorks 1989 2008 2011(5.7(2011b)) $2900 包括所需的MATLAB 否 专有 提供解答和处理符号数学表达式和执行可变精度运算的工具。
SymbolicC++ W.-H. Steeb 1997 1997 2009 (3.29) 免费 是 GPL 基于C++
SymPy Ondřej Čertík 2006 2007 2011 (0.7.1) 免费 是 修改的BSD许可证 基于Python
SympyCore Pearu Peterson 2008 2008 2008 (0.1) 免费 是 修改的BSD许可证 基于Python
TI-Nspire CAS (Computer Software) 德州仪器 2006 2009 3.1.0.392   否 专有 Derive的继承者。基于Derive的引擎，用于TI-89/Voyager 200和手持的TI-Nspire
Wolfram Alpha Wolfram Research   2009 2012 专业版：$4.99/月, 为学生提供的专业版：$2.99/月, 普通版免费。 否 专有 在线计算机代数系统，提供分步解答。
WIRIS Maths for More 1997 2001 2.0   否 专有 在线计算机代数系统和动态几何软件
Xcas Bernard Parisse 2004 2008 2011 (0.9.4) 免费 是 GPL Maple、MuPAD和TI89语法兼容模式。符号电子表格，与其他程序一起使用的Giac库。用于使用Linux或WinCE的PDA的ARM端口[7]
mathHandbook.com DrHuang.com 1998

[8]

  ? 2012 (3.4) 免费 是 GPL  

这些计算机代数系统有时结合了一个提供良好的用户界面的“前端”程序，例如多功能的GNU TeXmacs.

函数功能比较

以下是各系统中重要的符号功能的摘要。

系统公式编辑器高精度计算微积分程序求解图论数论量词消去布尔代数张量概率控制理论
积分 积分变换 方程 不等式 丢番图方程 微分方程 递推关系式
Axiom 否 是 是 是 是  ?  ?  ?  ?  ?  ?  ?  ?  ?  ?  ?
Algebrator 是 否 否 否 是 是 否 否 否 否 否 否 否 否  ?  ?
Cadabra 是 否 否 否 否 否 否 否 否 否 否 否 否 是  ?  ?
FriCAS 否 是 是 是 是 否  ? 是  ?  ?  ?  ?  ?  ?  ?  ?
JACAL 否 否 否 否 否 否 否 否 否 否 否 否 否 是  ?  ?
Jasymca 否 否 是 是 是 否 否 是 否 否 否 否 否 否  ?  ?
Magma 否 是 否 否 是 否 是 否 否 是 是 否 否 否  ?  ?
Maple 是 是 是 是 是 是 否 是 是 是 是 否 否 是 是 是
MathCad 是 否 是 否 是 否 否 否 否 否 否 否 否 否 否 否
MathEclipse 否 是 否 否 否 否 否 否 否 否 否 否 否 否  ?  ?
Mathematica 是 是 是 是 是 是 是 是 是 是 是 是 是 是 是 是
Mathomatic 否 否 是 是 是 否 否 否 否 否 是 否 否 否 否 否
Symbolic MATLAB toolbox 否 是 是 是 是 否 否 是  ? 否  ? 否 否  ?  ?  ?
Maxima 否 是 是 是 是 是 否 是 否 是 是 是 否 是  ?  ?
Microsoft Mathematics 是 否 是 否 是 是 否 否 否 否 否 否 是 否  ?  ?
Sage 是 是 是 是 是 是 否 是 是 是 是 是 是 是 否 否
SymPy 否 是 是 是 是 是 是 是 是 否 是 否 是 是 是 否
Wolfram Alpha 仅限专业版 是 是 是 是 是  ? 是 是 是 是 是 是 否  ?  ?
Yacas 否 是 是 否 否 否 否 否 否 否 否 否 否 否  ?  ?
Xcas 是 是 是 否 是 是 否 是 是 否 是 否 否 否  ?  ?

操作系统支持

这些软件不需要模拟器就可以与宁与相应的操作系统。有些系统必须先用于其源语言和目标平台适合的编译器编译。

系统WindowsMac OS XLinuxBSDSolaris其他
Algebrator 是 是 是 否 否 ?
Axiom 是 是 是 否 否 ?
Cadabra 否 是 是 是 是 ?
ClassPad Manager 是 否 否 否 否 ?
CoCoA 是 是 是 是 是 Tru64 UNIX, HP-UX, IRIX
Derive 是 否 否 否 否 ?
DoCon ? ? 是 ? ? ?
DCAS 是 ? ? ? ? ?
Eigenmath 是 是 否 否 否 ?
Euler 是 否 否 否 否 ?
Fermat 是 是 是 否 是 (仅限SPARC) ?
FORM 否 是 是 是 是 ?
Franklin Math 是 是 是 是 是 所有支持Java的系统
FriCAS 是 是 是 是 是 ?
GAP 是 是 是 是 是 ?
JACAL 是 是 是 是 是 ?
Jasymca 是 是 是 是 是 所有支持Java的系统
Java Algebra System 是 是 是 是 是 所有支持Java的系统
KANT/KASH 是 是 是 否 否 否
Macaulay2 是 是 是 是 是 ?
Magma 是 是 是 是 是 ?
Magnus ? ? 是 ? ? ?
Maple 是 是 是 否 是 否
Mathcad 是 否 否 否 否 否
MathEclipse 是 是 是 是 是 所有支持Java的系统
Mathematica 是 是 是 否 否 否
Mathomatic 是 是 是 是 是 所有POSIX平台
MathXpert 是 否 否 否 否 ?
Maxima 是 是 是 是 是 所有带有Common Lisp的POSIX平台
Meditor 是 是 是 是 是 ?
Microsoft Mathematics 是 否 否 否 否 ?
MuMATH 否 否 否 否 否 ?
MuPAD 是 是 是 否 否 ?
OpenAxiom 是 是 是 是 是 ?
PARI/GP 是 是 是 是 是 ?
Reduce 是 是 是 是 是 ?
Sage 否 是 是 否 是 为MS-Windows用户提供VMware虚拟机
SINGULAR 是 是 是 是 是 ?
SMath Studio 是 否 是 否 否 支持多种手持设备
SymbolicC++ 是 是 是 是 是 ?
Symbolic MATLABtoolbox 是 是 是 是 是 ?
SymPy 是 是 是 是 是 所有支持Python的系统
SympyCore 是 是 是 是 是 所有支持Python的系统
TI-Nspire (desktop software) 是 是 否 否 否 ?
WIRIS 是 是 是 是 是 ?
Xcas 是 是 是 是 是 ?
Yacas 是 是 是 是 是 ?

图形计算器

一些图形计算器也有CAS的特点。

系统作者开始开发第一次发布最近的稳定版发布价格 (USD)开源许可注释
Casio CFX-9970G CASIO Computer Co. ? 1998     否 专有  
Casio Algebra FX 2.0 CASIO Computer Co. ? 1999     否 专有  
Casio ClassPad 330 CASIO Computer Co. ? 2003 3.04.5000 $140 否 专有 此外还有一个在PC上运行的模拟器：“ClassPad Manager”
HP 49 series Hewlett-Packard ? 1999 2.15 $110以上 是[h 1] 专有，但有一些LGPL 基于Erable。针对工程应用中出现的问题。也用于HP-50计算器。
TI-89 德州仪器 ? 1996 2.09 不再生产 否 专有  
TI-89 Titanium 德州仪器 ? 2004 3.10 $150 否 专有  
TI-92 德州仪器 ? 1995 ? 不再生产 否 专有  
TI-92 Plus 德州仪器 1997 1998 2.09 不再生产 否 专有  
TI-Nspire CAS 德州仪器 2006 2008 2.0.1.60 $160 否 专有 TI-Nspire CAS 手持计算器有一个内置的处理数学符号表达式计算机代数系统。功能包括符号运算和标准的数值运算。
Voyage 200 德州仪器 2001 2002 3.10 $150 否 专有  
ZoomMath300 IQ Joe ?  ? 1.03 $60 否 专有 增加CAS功能的的TI-83和TI-84应用程序
  1. ^ 有几种不同的开源的定义。HP49 CAS的源代码向公众开放, 但某些部分的使用被专有许可限制。 因此, 这样的源代码不完全符合所有开源的定义。