计算机代数系统列表

维基媒体列表条目

以下表格给出各计算机代数系统的比较

常规

系统 作者 开始开发 第一次发布 最近的稳定版发布 价格 (USD) 开源 许可 注释
Algebrator Neven Jurkovic 1986 1999 2009年 (4.2) $58.99 专有 初等代数;分步解答
Axiom Tim Daly 1971 2002 2012年3月 免费 修改的BSD许可证 2007年复刻OpenAxiomFriCAS
Cadabra_(计算机程序) Kasper Peeters 2001 2007 2017年 (2.1.4) 免费 GNU GPL 张量代数,场论
ClassPad Manager CASIO 1999 2001 3.03 (2008) $45.45 专有
CoCoA The CoCoA Team 1987 1995 2007年 (4.7.3) 免费 GNU GPL 用于多项式计算
Derive Soft Warehouse 1979 1988 2007年11月 (6.1) 停产 专有 由TI拥有;在2007年停产
DoCon Serge D. Mechveliani 1993 1995 2.11 免费 OSI批准的许可证 Haskell
DCAS Robert Fenichel ? 2005 2005年 (1.0) 免费 GNU GPL
Eigenmath George Weigt 2004 2005 2010年 (137) 免费 GNU GPL 支持的操作系统: Windows, Mac, Android, Poket PC, Nintendo DS[1]
Euler Math Toolbox R. Grothmann 1987 1988 2011年 (12.3) 免费 GNU GPL 数值和区间运算,矩阵语言,使用Maxima进行符号运算
Fermat Robert H. Lewis 1986 1993 2010年 (3.9.9x) 若提供补助金$60,否则$0 专有 多项式,矩阵
FORM J.A.M. Vermaseren 1984 1989 3.3 免费 GNU GPL 高速,任意长度的表达式,多线程
Franklin Math Allen Franklin Jordan 2008 2009 2011年3月 (0.11) 免费 GNU GPL 符号和数值运算,绘图,函数
FriCAS Waldek Hebisch 2007 2007 2012年 (1.1.6) 免费 修改的BSD许可证 2007年复刻自Axiom
GAP GAP Group 1986 1986 2008年 (4.4.12) 免费 GNU GPL 群论,特征理论,离散数学
JACAL Aubrey Jaffer 1989 1991 2010年 (1c2) 免费 GNU GPL 基于Scheme
Jasymca Helmut Dersch 2003 2006 2011年 (3) 免费 GNU GPL 代数,微积分,多项式,矩阵,绘图
Java Algebra System Heinz Kredel 2000 2005 2.0 免费 GNU GPLLGPL 交换和非交换,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) 免费 GNU GPL 代数几何,交换代数
Macsyma MIT Project MACSymbolics 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年 免费 GNU 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[4]和Apache Commons-Math[5]
Mathematica Wolfram Research 1986 1988 2023年 (13.2.1) $2,495 (专业版), $1095 (教育版), $140 (学生版), $69.95 (学生版每年的许可证) [6] $295 (个人版)[7] 专有 系统还包括了广泛的数值运算,统计学,图像处理,数论,布尔运算和开发环境。
MathHandbook DrHuang.com[8] 1986[9] 1988 2015年 免费 GNU GPL 在线计算机代数系统,分数阶微积分
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) 免费 GNU GPL 专门为教育而设计。
MathXpert Michael Beeson 1985 1997 2008年 (3.0.4) Algebra Assistant $49.95, Calculus Assistant $89.95[10] 专有 分步解答,正确的绘图,为结果的逻辑正确性而跟踪假设
Maxima MIT Project MAC and Bill Schelter et al. 1967 1998 2019年 (5.43) 免费 GNU GPL 基于Common Lisp的全功能的CAS
meditor Raphael Jolly 2000 2000 2.0_01 免费 GNU 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[11] 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) 免费 GNU GPL 数论椭圆曲线任意精度计算
Reduce Anthony C. Hearn 1960s 1968 2009年 免费 修改的BSD许可证 2008年12月起开源并且免费
Sage William A. Stein 2005 2005 2012年 (4.8) 免费 GNU GPL 包括了广泛的数值运算,统计学,图像处理和数论,而且是一个通过HTTPHTTPS使用基于网络的界面的开发环境
SINGULAR 凯撒斯劳滕工业大学 1984 1997 2011年 (3.1.2) 免费 GNU 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 MATLAB Toolbox MathWorks 1989 2008 2011年 (5.7(2011b)) $2900 包括所需的MATLAB 专有 提供解答和处理符号数学表达式和执行可变精度运算的工具。
SymbolicC++ W.-H. Steeb 1997 1997 2009年 (3.29) 免费 GNU 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 4.0.0.235 专有 Derive的继承者。基于Derive的引擎,用于TI-89/Voyager 200和手持的TI-Nspire
数学神手 VisualLab CaoTechnology 2017 A$580 永久。 专有 数学神手(VisualLab) 是 一种无格式要求的自由计算工具。将 公式 象书本上写的那样 输入,数学神手 就能完成计算。
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) 免费 GNU GPL Maple、MuPAD和TI89语法兼容模式。符号电子表格,与其他程序一起使用的Giac库。用于使用Linux或WinCE的PDA的ARM端口[12]
作者 开始开发 第一次发布 最近的稳定版发布 价格 (USD) 开源 许可 注释

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

函数功能比较

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

系统 公式编辑器 高精度计算 微积分 程序求解英语Solver 图论 数论 量词消去 布尔代数 张量 概率 控制理论
积分 积分变换 方程 不等式 丢番图方程 微分方程 递推关系式
Axiom ? ? ? ? ? ? ? ? ? ? ?
Algebrator ? ?
Cadabra(计算机程序) ? ?
FriCAS ? ? ? ? ? ? ? ? ?
JACAL ? ?
Jasymca ? ?
Magma ? ?
Maple
MathCad
MathEclipse ? ?
Mathematica
MathHandbook[13] ?
Mathomatic
Symbolic MATLAB toolbox ? ? ? ? ?
Maxima ? ?
Microsoft Mathematics ? ?
Sage
SymPy
Wolfram Alpha 仅限专业版 ? ? ?
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
MathHandbook页面存档备份,存于互联网档案馆 在线计算机代数系统
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 MATLAB toolbox ?
SymPy 所有支持Python的系统
SympyCore 所有支持Python的系统
TI-Nspire (desktop software) ?
WIRIS ?
Xcas ?
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[14] 。针对工程应用中出现的问题。也用于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 4.0.0.235 $160 专有 TI-Nspire CAS 手持计算器有一个内置的处理数学符号表达式计算机代数系统。功能包括符号运算和标准的数值运算。
Voyage 200 德州仪器 2001 2002 3.10 $150 专有
ZoomMath300 IQ Joe ? ? 1.03 $60 专有 增加CAS功能的的TI-83TI-84应用程序
  1. ^ 有几种不同的开源的定义HP49 CAS的源代码页面存档备份,存于互联网档案馆)向公众开放, 但某些部分的使用被专有许可限制。 因此, 这样的源代码不完全符合所有开源的定义。

参见

参考

  1. ^ SourceForge.net: Eigenmath DS. [2008-06-22]. (原始内容存档于2008-05-10) (英语). 
  2. ^ Maplesoft Web Store. [2011-10-21]. (原始内容存档于2011-10-04) (英语). 
  3. ^ Parametric Technology Corporation Web Store. [2008-06-28]. (原始内容存档于2008-07-23) (英语). 
  4. ^ JAS页面存档备份,存于互联网档案馆
  5. ^ Apache Commons-Math页面存档备份,存于互联网档案馆
  6. ^ Wolfram Worldwide Web Store. [2008-11-20]. (原始内容存档于2008-05-16) (英语). 
  7. ^ Mathematica Home Edition Released. [2009-2]. (原始内容存档于2011-06-11) (英语). 
  8. ^ DrHuang.com页面存档备份,存于互联网档案馆
  9. ^ 在线计算机代数系统: 数学手册软件(网络版本). [2011-04-19]. (原始内容存档于2011-02-08) (英语). 
  10. ^ HelpWithMath. [2008-08-25]. (原始内容存档于2008-11-07) (英语). 
  11. ^ FEMhub页面存档备份,存于互联网档案馆
  12. ^ Xcas ARM. [2010-10-12]. (原始内容存档于2010-11-09) (英语). 
  13. ^ MathHandbook页面存档备份,存于互联网档案馆
  14. ^ Erable页面存档备份,存于互联网档案馆