计算机代数系统比较
[原文链接] --- 摘录于维基百科
常规
| 系统 | 作者 | 开始开发 | 第一次发布 | 最近的稳定版发布 | 价格 (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 | ? | 2012 (3.4) | 免费 | 是 | GPL | |
| 作者 | 开始开发 | 第一次发布 | 最近的稳定版发布 | 价格 (USD) | 开源 | 许可 | 注释 |
这些计算机代数系统有时结合了一个提供良好的用户界面的“前端”程序，例如多功能的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 | 是 | 是 | 是 | 否 | 是 | 是 | 否 | 是 | 是 | 否 | 是 | 否 | 否 | 否 | ? | ? |
操作系统支持
这些软件不需要模拟器就可以与宁与相应的操作系统。有些系统必须先用于其源语言和目标平台适合的编译器编译。
| 系统 | Windows | Mac OS X | Linux | BSD | Solaris | 其他 |
|---|---|---|---|---|---|---|
| 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 | 是 | 是 | 是 | 是 | 是 | ? |
| Windows | Mac OS X | Linux | BSD | Solaris | 其他 |
图形计算器
一些图形计算器也有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应用程序 |
- ^ 有几种不同的开源的定义。HP49 CAS的源代码向公众开放, 但某些部分的使用被专有许可限制。 因此, 这样的源代码不完全符合所有开源的定义。
