計算機代數系統

電腦代數系統（英語：computer algebra system，縮寫作：CAS），或符號代數系統（symbolic algebra system，縮寫作SAS），是能夠以類似於數學家和科學家傳統手動計算的方式操作數學表達式的數學軟體。這種系統的要件是數學表達式的符號運算。 20世紀下半葉電腦代數系統的發展是「電腦代數」或「符號計算」學科的一部分，它刺激了多項式等數學對象的演算法工作。

電腦代數系統按用途可分為兩大類：專用、通用。

專用的電腦代數系統致力於數學的特定部分，例如數論、群論，亦或是初等數學的教學。

通用的電腦代數系統致力於任何需要操作數學表達式的科學領域。為了發揮其作用，通用電腦代數系統必須包含各種功能，例如：

• 允許使用者輸入和顯示數學公式的使用者介面，通常通過鍵盤、選單選擇、滑鼠或觸筆。
• 一個程式語言和與之配套的直譯器（計算結果通常具有不可預測的形式和大小，因此經常需要使用者通過其干預），
• 簡化器，一個用於簡化數學公式的重寫系統，
• 主記憶體管理器，包括垃圾收集器，用於處理可能在計算過程中出現的龐大中間資料。
• 高精度計算演算法，用於處理可能出現的巨大整數。
• 大型的數學演算法庫、特殊函式庫。

數學演算法庫、特殊函式庫不僅要滿足使用者的需求，還要滿足簡化器的需求。例如，多項式最大公約數的計算被系統地用於簡化涉及分數的表達式。

這些繁雜的功能要求解釋了通用電腦代數系統的數量為何如此之少。一些重要的系統包括Axiom_電腦代數系統（英語：Axiom_(computer_algebra_system)）、Maxima、MAGMA、Maple、Mathematica和SageMath 。

發展歷史

含有電腦代數系統的TI-Nspire計算機

20世紀50年代，當電腦主要被用於數值計算時，已有研究專案探索其在符號運算中的應用。電腦代數系統于于 20世紀60年代開始興起，其發展源自兩個截然不同的領域：理論物理學家的研究需求和人工智慧領域的探索。

第一個領域的一個典型例子是後來的諾貝爾物理學獎獲得者馬丁紐斯·韋爾特曼（Martinus J. G. Veltman）在1963年設計的用於高能物理的符號數學程式，名為Schoonschip（英語：Schoonschip）（荷蘭語，意指「乾淨的船」）。其他早期系統包括FORMAC。

在第二個人工智慧領域中，Carl Engelman（英語：Carl Engelman）使用Lisp作為編程基礎，於1964年在MITRE（英語：MITRE）的人工智慧研究所中建立了MATHLAB（英語：MATHLAB）。後來MATHLAB可供大學中執行TOPS-10或TENEX的PDP-6和PDP-10系統上的使用者使用。如今，它仍然可以在PDP-10的SIMH仿真環境中執行。 注意，MATHLAB（"mathematical laboratory"）不是MATLAB（"matrix laboratory"），後者是新墨西哥大學在15年後建立的數值計算系統。

1987 年，惠普推出了第一台帶有 CAS 的手持計算機——HP-28系列（英語：HP-28_series）。首次在計算機中實現了整理代數表達式，求導，有限符號積分，泰勒級數構建的功能，以及一個代數方程的求解器。^[1] 1999年，為HP 48系列自主研發的Erable CAS正式成為新興的HP 49/50系列韌體中的一個整合部分，並在一年後也整合到了HP 40系列中，而在2013年，HP Prime則採用了Xcas系統。

1995年，德州儀器發布了TI-92（英語：TI-92）計算機，該計算機搭載了基於Derive（英語：Derive_(computer_algebra_system)）軟體開發的CAS；TI-Nspire（英語：TI-Nspire_series）於2007年取代了 Derive。1998年首次發布的TI-89 系列也包含CAS。

Casio在1999年推出了他們的第一款帶有CAS的計算機———CFX-9970G。並在1999年至2003年，推出了替代CFX-9970G的Algebra FX 系列，直到現在的ClassPad 系列。^{[來源請求]}

第一個流行的電腦代數系統是muMATH、Reduce、Derive（基於 muMATH）和Macsyma；Macsyma的一個流行的Copyleft版本是Maxima，目前正在積極維護。 Reduce於 2008 年成為自由軟體^[2]。截至今日^[何時？]，最流行的商業系統是Mathematica^[3]和Maple，它們通常被研究數學家、科學家和工程師使用。免費提供的替代方案包括SageMath（它可以充當其他幾個免費和非自由 CAS 的前端）。其他重要的系統包括Axiom、Maxima、Magma和SageMath。

2000 年代初期，向基於Web的應用程式的轉變的趨勢促使了WolframAlpha的發布，它由一個線上搜尋引擎和一個包含Mathematica的功能的CAS組成。^[4]

最近，電腦代數系統開始使用類神經網路來實現，但截至2020年，它們尚未商用^[5]。

符號運算

通常支援的符號運算功能包括：

• 表達式簡化：簡化為較小的表達式或一些標準形式，包括帶假設的自動簡化和帶約束的簡化；
• 對表達式求值：用符號或數值替換某些表達式；
• 表達式的變換：乘積和冪展開、部分和全部因式分解、重寫為部分分數、約束滿足、將三角函式變換為指數函式、變換邏輯表達式等；
• 部分微分和全微分；
• 一些不定積分和定積分（參見符號積分），包括多維積分；
• 符號約束和無約束全域最佳化；
• 不同領域的線性和一些非線性方程的解；
• 一些微分方程和差分方程的解；
• 一些極限計算；
• 積分變換；
• 展開、求和、乘積等系列運算；
• 矩陣運算包括乘積、逆矩陣等；
• 統計計算；
• 定理證明和驗證（在實驗數學領域非常有用）；
• 生成最佳化的代碼；

註：上文所述「一些」表示該功能存在運算限制，無法保證所有情況均可執行。

其它功能

很多CAS還包括：

• 一種程式語言，允許使用者實現自己的演算法，將自訂的數學方法和操作整合到系統中。
• 任意精度數值運算
• 精確整數算術和數論功能
• 二維形式的數學表達式編輯
• 畫2D、3D函式圖，並對其進行動畫處理
• 繪製圖表和圖示
• 用於將其連結到外部程式（例如資料庫）或在程式語言中使用電腦代數系統的API
• 字串操作，例如匹配和搜尋
• 用於物理、生物資訊學、計算化學等應用數學的附加元件以及物理計算包^{[來源請求]}
• 微分方程求解器^[6][7][8][9]

其中一些CAS包括：

• 聲音合成
• 圖形生成和編輯，例如電腦生成圖像、訊號處理、電腦圖像處理

一些電腦代數系統專注於特定學科領域；這些系統通常由學術界開發，並且是免費的。與數值系統相比，它們在數值運算方面可能效率較低。

表達式的類別

CAS 操作的表達式通常包括：

• 多變元多項式
• 標準函式（三角函式、指數函式等等）
• 各種特殊函式（Γ函式、ζ函式、誤差函式、貝索函數等）
• 表達式的導函式、積分、和與積
• 以表達式為係數的級數
• 表達式構成的矩陣

支援的數字域通常包括實數的浮點表示、（無限大小的）整數、（浮點表示的）複數、實數的區間表示、有理數（精確表示）和代數。

教育方面

近年來，有許多倡導者呼籲在中小學課堂中增加電腦代數系統的使用。這種倡導的主要原因是電腦代數系統比基於紙筆或手持計算機的數學更能代表現實世界的數學。^[10]一些教育委員會支援增加數學課堂中電腦的使用。它甚至被納入一些地區的課程中。^[11]

電腦代數系統已廣泛應用於高等教育。^[12][13]許多大學要麼提供有關開發其用途的特定課程，要麼隱含地期望學生在課程作業中使用它們。開發電腦代數系統的公司已努力提高其在大學和學院課程中的普及率。^[14]

配備CAS的計算機在ACT、PLAN等考試中不允許使用^[15]，儘管在所有允許使用計算機的美國大學理事會考試中可能是允許的，包括SAT、一些SAT科目考試以及AP微積分、化學、物理和統計學考試中可能允許使用。

在電腦代數系統中應用的數學演算法

• Knuth-Bendix 完成演算法（英語：Knuth–Bendix_completion_algorithm）^[16]
• 求根演算法^[16]
• 符號積分演算法，例如Risch 演算法或Risch-Norman 演算法
• Wilf Zeilberger pair 演算法（英語：Wilf–Zeilberger_pair），例如高斯珀演算法（英語：Gosper's_algorithm）
• 計算極限的演算法，例如格倫茨演算法
• 在有限域上的多項式因式分解，由伯利坎普演算法（英語：Berlekamp's_algorithm）或康托爾-扎森豪斯演算法（英語：Cantor–Zassenhaus_algorithm）實現。
• 最大公約數演算法，例如歐幾里得演算法
• 高斯消去法
• Gröbner基（英語：Gröbner_basis），例如Buchberger演算法（英語：Buchberger's_algorithm）；這是歐幾里德演算法和高斯消去法的推廣。
• 帕德近似
• Schwartz–Zippel引理（英語：Schwartz–Zippel_lemma）和多項式恆等式測試
• 中國剩餘定理
• 丟番圖方程
• 朗道演算法（巢狀根式演算法）
• 初等函式和特殊函式的導數。（例如：不完全伽瑪函式的導數。 ）
• 圓柱代數分解（英語：Cylindrical algebraic decomposition）
• 通過圓柱代數分解實現實數域上的量詞消除（英語：Quantifier elimination）

參見

• 數學主題
• 軟體主題

• 數學軟體
• 電腦代數系統比較
• 運算科學
• 自動化定理證明
• 代數建模語言（英語：Algebraic_modeling_language）
• 約束邏輯編程（英語：Constraint_logic_programming）
• 可滿足性模理論（英語：Satisfiability_modulo_theories）