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