系统
|
作者
|
开始开发
|
第一次发布
|
最近的稳定版发布
|
价格 (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)
|
开源
|
许可
|
注释
|