计算机代数系统列表

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

参见
计算机代数系统
数学软件

参考

Category:数学软件比较
比较
Category:数学列表