计算机代数系统比较

维基百科,自由的百科全书
跳转至: 导航搜索

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

常规[编辑]

系统 作者 开始开发 第一次发布 最近的稳定版发布 价格 (USD) 开源 许可 注释
Algebrator Neven Jurkovic 1986 1999 2009 (4.2) $58.99 0 专有 初等代数;分步解答
Axiom Tim Daly 1971 2002 03 2012 免費 1 修改的BSD许可证 2007年复刻OpenAxiomFriCAS
Cadabra Kasper Peeters 2001 2007 2011 (1.29) 免費 1 GPL 张量代数,场论
ClassPad Manager CASIO 1999 2001 3.03 (2008) $45.45 0 专有
CoCoA The CoCoA Team 1987 1995 2007 (4.7.3) 免費 1 GPL 用于多项式计算
Derive Soft Warehouse 1979 1988 11 2007 (6.1) 停产 0 专有 由TI拥有;在2007年停产
DoCon Serge D. Mechveliani 1993 1995 2.11 免費 1 OSI批准的许可证 Haskell
DCAS Robert Fenichel  ? 2005 2005 (1.0) 免費 1 GPL
Eigenmath George Weigt 2004 2005 2010 (137) 免費 1 GPL 支持的操作系统: Windows, Mac, Android, Poket PC, Nintendo DS[1]
Euler Math Toolbox R. Grothmann 1987 1988 2011 (12.3) 免費 1 GPL 数值和区间运算,矩阵语言,使用Maxima进行符号运算
Fermat Robert H. Lewis 1986 1993 2010 (3.9.9x) 若提供补助金$60,否则$0 0 专有 多项式,矩阵
FORM J.A.M. Vermaseren 1984 1989 3.3 免費 1 GPL 高速,任意长度的表达式,多线程
Franklin Math Allen Franklin Jordan 2008 2009 03 2011 (0.11) 免費 1 GPL 符号和数值运算,绘图,函数
FriCAS Waldek Hebisch 2007 2007 2012 (1.1.6) 免費 1 修改的BSD许可证 2007年复刻自Axiom
GAP GAP Group 1986 1986 2008 (4.4.12) 免費 1 GPL 群论,特征理论,离散数学
JACAL Aubrey Jaffer 1989 1991 2010 (1c2) 免費 1 GPL 基于Scheme
Jasymca Helmut Dersch 2003 2006 2011 (3) 免費 1 GPL 代数,微积分,多项式,矩阵,绘图
Java Algebra System Heinz Kredel 2000 2005 2.0 免費 1 GPLLGPL 交换和非交换,Gröbner基,最大公因子,Java库
KANT/KASH KANT Group  ?  ? KASH3 (2005/2008) 非商业使用免费 0 自己的许可证 代数数论
LiveMath
(formerly Theorist)
Math Monkeys  ? 1991 2007 (3.5.9) $149,学生版$45(1年) 0 专有 交互的求解和绘图
Macaulay2 Daniel Grayson and Michael Stillman 1992 1994 2010 (1.4) 免費 1 GPL 代数几何,交换代数
Macsyma MIT Project MACSymbolics 1968 1978 1999 (2.4) $500 0 专有 基于Lisp。开源软件Maxima的前身。
Magma 悉尼大学 ~1990 1993 2011 (2.17) $1,150 0 专有 代数,密码学,群论,数论
Magnus Computational Group Theory Package The New York Group Theory Cooperative 1994  ? 2009 免費 1 GPL 有限群论
Maple 滑铁卢大学的符号运算小组 1980 1984 2011 (15.01) $2,275 (商业版), $2,155 (政府版), $1245(高校版), $239 (个人版), $99 (学生版), $79 (学生版,12月的期限)[2] 0 专有 库源代码是可见的
MAS Heinz Kredel, Michael Pesch 1989  ? 1998 (1.01) 免費 ? 未详细说明 可得到Modula-2的源代码
MathCad Parametric Technology Corporation 1985 1985 2010 (15) $1,195[3] 0 专有 标准的数学符号,绘图,智能单元的计算
MathEclipse/Symja Axel Kramer 2002 2002 2007 免費 1 CPL JAVA的符号运算库(使用JASApache Commons-Math
Mathematica Wolfram Research 1986 1988 2011 (8.0.4) $2,495 (专业版), $1095 (教育版), $140 (学生版), $69.95 (学生版每年的许可证) [4] $295 (个人版)[5] 0 专有 系统还包括了广泛的数值运算,统计学,图像处理,数论,布尔运算和开发环境。
MathHandbook DrHuang.com 1998

[6]

 ? 2012 (3.4) 免費 1 GPL 在线计算机代数系统
Mathination Orion Math 2010 2010 2010 (1.0) $4.99 0 专有 基本代数,用于iPad,支持多点触控处理方程。
Mathiverse Calculator Mathiverse 2009 2009 2009 (0.0.1) 免費 0 专有 处理复数
Mathomatic George Gesslein II 1986 1987 2012 (15.8.2) 免費 1 LGPL 处理初等代数微积分复数多项式
MathPiper Ted Kosan, Sherm Ostrowsky 2008 2010 2010 (.80n) 免費 1 GPL 专门为教育而设计。
MathXpert Michael Beeson 1985 1997 2008 (3.0.4) Algebra Assistant $49.95, Calculus Assistant $89.95[7] 0 专有 分步解答,正确的绘图,为结果的逻辑正确性而跟踪假设
Maxima MIT Project MAC and Bill Schelter et al. 1967 1998 2011 (5.25) 免費 1 GPL 基于Common Lisp的全功能的CAS
meditor Raphael Jolly 2000 2000 2.0_01 免費 1 GPL Java符号运算库和数学编辑器
Microsoft Mathematics 微软  ? 2005 2011 (4.0.1108) 免費 0 专有 初等代数和微积分;单位换算;绘图;分步解答
MuMATH Soft Warehouse 1970s 1980 MuMATH-83 停产 0 专有
MuPAD SciFace Software 1989 2008 2008 (5.1) 停产 0 专有 MathWorks已把MuPAD的技术吸收到Symbolic Math Toolbox中
NCAlgebra and NCGB Helton, deOliveira,Stankus,Miller 1990 1991 2010 (4.0) 免費 1 NCAlgebraBSD Mathematica中的非交换代数,非交换Groebner基,分块矩阵
NCLab FEMhub 2011 2012 2012 (1.0) 免費 0 专有 全面的符号和数值计算方法,包括代数,微积分,微分方程
OpenAxiom Gabriel Dos Reis 2007 2007 2011 (1.4.1) 免費 1 修改的BSD许可证 2007年复刻自Axiom
PARI/GP Henri Cohen, Karim Belabas, Bill Allombert et al. 1985 1990 2011 (2.5.0) 免費 1 GPL 数论椭圆曲线任意精度计算
Reduce Anthony C. Hearn 1960s 1968 2009 免費 1 修改的BSD许可证 2008年12月起开源并且免费
Sage William A. Stein 2005 2005 2012 (4.8) 免費 1 GPL 包括了广泛的数值运算,统计学,图像处理和数论,而且是一个通过HTTPHTTPS使用基于网络的界面的开发环境
SINGULAR 凯撒斯劳滕工业大学 1984 1997 2011 (3.1.2) 免費 1 GPL 多项式,环,理想
SMath Studio Andrey Ivashov ? 2005 2012 (0.91) 免費 0 Creative Commons Attribution-NoDerivs (CC-BY-ND) 类似于MathCad的数学笔记本程序
SpaceTime Mathematics SpaceTime Mathematics 2006 2009 2010 (4.0) $39, Windows Mobile Devices的版本免费且停产. 0 专有 计算机代数和微积分,移动设备科学计算
Symbolic MATLAB Toolbox MathWorks 1989 2008 2011 (5.7(2011b)) $2900 包括所需的MATLAB 0 专有 提供解答和处理符号数学表达式和执行可变精度运算的工具。
SymbolicC++ W.-H. Steeb 1997 1997 2009 (3.29) 免費 1 GPL 基于C++
SymPy Ondřej Čertík 2006 2007 2011 (0.7.1) 免費 1 修改的BSD许可证 基于Python
SympyCore Pearu Peterson 2008 2008 2008 (0.1) 免費 1 修改的BSD许可证 基于Python
TI-Nspire CAS (Computer Software) 德州仪器 2006 2009 3.1.0.392 0 专有 Derive的继承者。基于Derive的引擎,用于TI-89/Voyager 200和手持的TI-Nspire
Wolfram Alpha Wolfram Research 2009 2012 专业版:$4.99/月, 为学生提供的专业版:$2.99/月, 普通版免费。 0 专有 在线计算机代数系统,提供分步解答。
WIRIS Maths for More 1997 2001 2.0 0 专有 在线计算机代数系统动态几何软件
Xcas Bernard Parisse 2004 2008 2011 (0.9.4) 免費 1 GPL Maple、MuPAD和TI89语法兼容模式。符号电子表格,与其他程序一起使用的Giac库。用于使用Linux或WinCE的PDA的ARM端口[8]
作者 开始开发 第一次发布 最近的稳定版发布 价格 (USD) 开源 许可 注释

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

函数功能比较[编辑]

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

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

操作系统支持[编辑]

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

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

图形计算器[编辑]

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

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

参见[编辑]

参考[编辑]

  1. ^ SourceForge.net: Eigenmath DS. [2008-06-22] (英文). 
  2. ^ Maplesoft Web Store. [2011-10-21] (英文). 
  3. ^ Parametric Technology Corporation Web Store. [2008-06-28] (英文). 
  4. ^ Wolfram Worldwide Web Store. [2008-11-20] (英文). 
  5. ^ Mathematica Home Edition Released. [2009-2] (英文). 
  6. ^ 在线计算机代数系统: 数学手册软件(网络版本). [2011-04-19] (英文). 
  7. ^ HelpWithMath. [2008-08-25] (英文). 
  8. ^ Xcas ARM. [2010-10-12] (英文).