系統
|
作者
|
開始開發
|
第一次發佈
|
最近的穩定版發佈
|
價格 (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(頁面存檔備份,存於互聯網檔案館)和Apache Commons-Math(頁面存檔備份,存於互聯網檔案館))
|
Mathematica
|
Wolfram Research
|
1986
|
1988
|
000000002023-01-01-00002023年 (13.2.1)
|
$2,495 (專業版), $1095 (教育版), $140 (學生版), $69.95 (學生版每年的許可證) [4] $295 (個人版)[5]
|
否
|
專有
|
系統還包括了廣泛的數值運算,統計學,圖像處理,數論,布爾運算和開發環境。
|
MathHandbook(頁面存檔備份,存於互聯網檔案館)
|
DrHuang.com(頁面存檔備份,存於互聯網檔案館)
|
1986
[6]
|
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[7]
|
否
|
專有
|
分步解答,正確的繪圖,為結果的邏輯正確性而跟蹤假設
|
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(頁面存檔備份,存於互聯網檔案館)
|
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端口[8]
|
|
作者
|
開始開發
|
第一次發佈
|
最近的穩定版發佈
|
價格 (USD)
|
開源
|
許可
|
註釋
|