計算機代數系統列表

维基媒体列表条目

以下表格給出各計算機代數系統的比較

常規

系統 作者 開始開發 第一次發佈 最近的穩定版發佈 價格 (USD) 開源 許可 註釋
Algebrator Neven Jurkovic 1986 1999 2009年 (4.2) $58.99 專有 初等代數;分步解答
Axiom Tim Daly 1971 2002 2012年3月 免費 修改的BSD許可證 2007年復刻OpenAxiomFriCAS
Cadabra_(電腦程式) Kasper Peeters 2001 2007 2017年 (2.1.4) 免費 GNU GPL 張量代數,場論
ClassPad Manager CASIO 1999 2001 3.03 (2008) $45.45 專有
CoCoA The CoCoA Team 1987 1995 2007年 (4.7.3) 免費 GNU GPL 用於多項式計算
Derive Soft Warehouse 1979 1988 2007年11月 (6.1) 停產 專有 由TI擁有;在2007年停產
DoCon Serge D. Mechveliani 1993 1995 2.11 免費 OSI批准的許可證 Haskell
DCAS Robert Fenichel ? 2005 2005年 (1.0) 免費 GNU GPL
Eigenmath George Weigt 2004 2005 2010年 (137) 免費 GNU GPL 支持的作業系統: Windows, Mac, Android, Poket PC, Nintendo DS[1]
Euler Math Toolbox R. Grothmann 1987 1988 2011年 (12.3) 免費 GNU GPL 數值和區間運算,矩陣語言,使用Maxima進行符號運算
Fermat Robert H. Lewis 1986 1993 2010年 (3.9.9x) 若提供補助金$60,否則$0 專有 多項式,矩陣
FORM J.A.M. Vermaseren 1984 1989 3.3 免費 GNU GPL 高速,任意長度的表達式,多線程
Franklin Math Allen Franklin Jordan 2008 2009 2011年3月 (0.11) 免費 GNU GPL 符號和數值運算,繪圖,函數
FriCAS Waldek Hebisch 2007 2007 2012年 (1.1.6) 免費 修改的BSD許可證 2007年復刻自Axiom
GAP GAP Group 1986 1986 2008年 (4.4.12) 免費 GNU GPL 群論,特徵理論,離散數學
JACAL Aubrey Jaffer 1989 1991 2010年 (1c2) 免費 GNU GPL 基於Scheme
Jasymca Helmut Dersch 2003 2006 2011年 (3) 免費 GNU GPL 代數,微積分,多項式,矩陣,繪圖
Java Algebra System Heinz Kredel 2000 2005 2.0 免費 GNU GPLLGPL 交換和非交換,Gröbner基,最大公因子,Java庫
KANT/KASH KANT Group ? ? KASH3 (2005/2008) 非商業使用免費 自己的許可證 代數數論
LiveMath
(formerly Theorist)
Math Monkeys ? 1991 2007年 (3.5.9) $149,學生版$45(1年) 專有 交互的求解和繪圖
Macaulay2 Daniel Grayson and Michael Stillman 1992 1994 2010年 (1.4) 免費 GNU GPL 代數幾何,交換代數
Macsyma MIT Project MACSymbolics 1968 1978 1999年 (2.4) $500 專有 基於Lisp。開源軟件Maxima的前身。
Magma 悉尼大學 ~1990 1993 2011年 (2.17) $1,150 專有 代數,密碼學,群論,數論
Magnus Computational Group Theory Package The New York Group Theory Cooperative 1994 ? 2009年 免費 GNU GPL 有限群論
Maple 滑鐵盧大學的符號運算小組 1980 1984 2011年 (15.01) $2,275 (商業版), $2,155 (政府版), $1245(高校版), $239 (個人版), $99 (學生版), $79 (學生版,12月的期限)[2] 專有 庫原始碼是可見的
MAS Heinz Kredel, Michael Pesch 1989 ? 1998年 (1.01) 免費 ? 未詳細說明 可得到Modula-2的原始碼
MathCad Parametric Technology Corporation 1985 1985 2010年 (15) $1,195[3] 專有 標準的數學符號,繪圖,智能單元的計算
MathEclipse/Symja Axel Kramer 2002 2002 2007年 免費 CPL JAVA的符號運算庫(使用JAS[4]和Apache Commons-Math[5]
Mathematica Wolfram Research 1986 1988 2023年 (13.2.1) $2,495 (專業版), $1095 (教育版), $140 (學生版), $69.95 (學生版每年的許可證) [6] $295 (個人版)[7] 專有 系統還包括了廣泛的數值運算,統計學,圖像處理,數論,布爾運算和開發環境。
MathHandbook DrHuang.com[8] 1986[9] 1988 2015年 免費 GNU GPL 在線計算機代數系統,分數階微積分
Mathination Orion Math 2010 2010 2010年 (1.0) $4.99 專有 基本代數,用於iPad,支持多點觸控處理方程。
Mathiverse Calculator Mathiverse 2009 2009 2009年 (0.0.1) 免費 專有 處理複數
Mathomatic George Gesslein II 1986 1987 2012年 (15.8.2) 免費 LGPL 處理初等代數微積分複數多項式
MathPiper Ted Kosan, Sherm Ostrowsky 2008 2010 2010年 (.80n) 免費 GNU GPL 專門為教育而設計。
MathXpert Michael Beeson 1985 1997 2008年 (3.0.4) Algebra Assistant $49.95, Calculus Assistant $89.95[10] 專有 分步解答,正確的繪圖,為結果的邏輯正確性而跟蹤假設
Maxima MIT Project MAC and Bill Schelter et al. 1967 1998 2019年 (5.43) 免費 GNU GPL 基於Common Lisp的全功能的CAS
meditor Raphael Jolly 2000 2000 2.0_01 免費 GNU GPL Java符號運算庫和數學編輯器
Microsoft Mathematics 微軟 ? 2005 2011年 (4.0.1108) 免費 專有 初等代數和微積分;單位換算;繪圖;分步解答
MuMATH Soft Warehouse 1970s 1980 MuMATH-83 停產 專有
MuPAD SciFace Software 1989 2008 2008年 (5.1) 停產 專有 MathWorks已把MuPAD的技術吸收到Symbolic Math Toolbox中
NCAlgebra and NCGB Helton, deOliveira,Stankus,Miller 1990 1991 2010年 (4.0) 免費 NCAlgebraBSD Mathematica中的非交換代數,非交換Groebner基,分塊矩陣
NCLab FEMhub[11] 2011 2012 2012年 (1.0) 免費 專有 全面的符號和數值計算方法,包括代數,微積分,微分方程
OpenAxiom Gabriel Dos Reis 2007 2007 2011年 (1.4.1) 免費 修改的BSD許可證 2007年復刻自Axiom
PARI/GP Henri Cohen, Karim Belabas, Bill Allombert et al. 1985 1990 2011年 (2.5.0) 免費 GNU GPL 數論橢圓曲線任意精度計算
Reduce Anthony C. Hearn 1960s 1968 2009年 免費 修改的BSD許可證 2008年12月起開源並且免費
Sage William A. Stein 2005 2005 2012年 (4.8) 免費 GNU GPL 包括了廣泛的數值運算,統計學,圖像處理和數論,而且是一個通過HTTPHTTPS使用基於網絡的界面的開發環境
SINGULAR 凱撒斯勞滕工業大學 1984 1997 2011年 (3.1.2) 免費 GNU GPL 多項式,環,理想
SMath Studio Andrey Ivashov ? 2005 2012年 (0.91) 免費 Creative Commons Attribution-NoDerivs (CC-BY-ND) 類似於MathCad的數學筆記本程序
SpaceTime Mathematics SpaceTime Mathematics 2006 2009 2010年 (4.0) $39, Windows Mobile Devices的版本免費且停產. 專有 計算機代數和微積分,流動裝置科學計算
Symbolic MATLAB Toolbox MathWorks 1989 2008 2011年 (5.7(2011b)) $2900 包括所需的MATLAB 專有 提供解答和處理符號數學表達式和執行可變精度運算的工具。
SymbolicC++ W.-H. Steeb 1997 1997 2009年 (3.29) 免費 GNU GPL 基於C++
SymPy Ondřej Čertík 2006 2007 2011年 (0.7.1) 免費 修改的BSD許可證 基於Python
SympyCore Pearu Peterson 2008 2008 2008年 (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 2011年 (0.9.4) 免費 GNU GPL Maple、MuPAD和TI89語法兼容模式。符號電子表格,與其他程序一起使用的Giac庫。用於使用Linux或WinCE的PDA的ARM端口[12]
作者 開始開發 第一次發佈 最近的穩定版發佈 價格 (USD) 開源 許可 註釋

這些計算機代數系統有時結合了一個提供良好的用戶界面的「前端」程序,例如多功能的GNU TeXmacs.

函數功能比較

以下是各系統中重要的符號功能的摘要。

系統 公式編輯器 高精度計算 微積分 程序求解英語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 ? ?

軟件支持的平台

可能需要使用模擬器,或者自行編譯。

系統 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以上 [h 1] 專有,但有一些LGPL 基於Erable[14] 。針對工程應用中出現的問題。也用於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-83TI-84應用程式
  1. ^ 有幾種不同的開源的定義HP49 CAS的原始碼頁面存檔備份,存於互聯網檔案館)向公眾開放, 但某些部分的使用被專有許可限制。 因此, 這樣的原始碼不完全符合所有開源的定義。

參見

參考

  1. ^ SourceForge.net: Eigenmath DS. [2008-06-22]. (原始內容存檔於2008-05-10) (英語). 
  2. ^ Maplesoft Web Store. [2011-10-21]. (原始內容存檔於2011-10-04) (英語). 
  3. ^ Parametric Technology Corporation Web Store. [2008-06-28]. (原始內容存檔於2008-07-23) (英語). 
  4. ^ JAS頁面存檔備份,存於互聯網檔案館
  5. ^ Apache Commons-Math頁面存檔備份,存於互聯網檔案館
  6. ^ Wolfram Worldwide Web Store. [2008-11-20]. (原始內容存檔於2008-05-16) (英語). 
  7. ^ Mathematica Home Edition Released. [2009-2]. (原始內容存檔於2011-06-11) (英語). 
  8. ^ DrHuang.com頁面存檔備份,存於互聯網檔案館
  9. ^ 在线计算机代数系统: 数学手册软件(网络版本). [2011-04-19]. (原始內容存檔於2011-02-08) (英語). 
  10. ^ HelpWithMath. [2008-08-25]. (原始內容存檔於2008-11-07) (英語). 
  11. ^ FEMhub頁面存檔備份,存於互聯網檔案館
  12. ^ Xcas ARM. [2010-10-12]. (原始內容存檔於2010-11-09) (英語). 
  13. ^ MathHandbook頁面存檔備份,存於互聯網檔案館
  14. ^ Erable頁面存檔備份,存於互聯網檔案館