Loading AI tools
計算機代數系統（英語：computer algebra system，縮寫作：CAS）是進行符號運算的軟件。這種系統的要件是數學表示式的符號運算。
表示式的例子包括：
以下是幾種典型的符號運算：
通常計算機代數系統還能進行一些數值運算：
- 函數的確切求值。
- 高精度求值，例如計算到小數點後位。
- 線性代數的數值運算。
- 描繪二維或三維的函數圖形。
在數值運算方面，計算機代數系統的速度通常較Matlab、GNU Octave或C語言中以同等方式實作的程式慢。這是因為計算機系統幾乎總是對符號表示式運算，故不能充分利用CPU的既有指令。
許多計算機代數系統內建高階程式語言，以供使用者擴充功能，或設置個人的操作模式。
馬丁紐斯·韋爾特曼（Martinus J. G. Veltman） 是這個領域的先驅，他首先考慮了在高能物理中的應用。他在1963年設計的第一個程式叫Schoonship（荷蘭文，意指「乾淨的船」）。
最早受到歡迎的系統是Reduce、Derive與Macsyma，現在仍然可取得。Macsyma的一個GNU通用公共許可證發行的版本叫作Maxima，現在仍有維護。市場的龍頭為Maple與Mathematica，兩者被數學家、科學家及工程師們廣泛採用，此外還有MuPAD與MathCad。
另有一些系統著眼於特定的應用領域，這些系統通常在學院中被設計、發展及維護，例如交換代數系統Macaulay 2或數論系統PARI/GP。
- mathHandbook.com (former symbmath)
- Sagemath
- Mathematica
- Maple
- MAGMA
- Maxima
- GAP
- PARI/GP
- Meditor
- MuPAD
- Mathomatic
- Xcas/Giac
- Yacas
- Mate
- Richard J. Fateman. Essays in algebraic simplification. Technical report MIT-LCS-TR-095, 1972.
下面是一些在線可用的計算機代數系統的列表：
- https://web.archive.org/web/20110718004430/http://directory.google.com/Top/Science/Math/Algebra/Software/
- http://www.cs.ru.nl/~freek/digimath/xindex.html （頁面存檔備份，存於網際網路檔案館）
- 開放目錄專案中的「Math Software」
- http://www.mat.univie.ac.at/~slc/divers/software.html （頁面存檔備份，存於網際網路檔案館）
- Use Maxima in a web browser （頁面存檔備份，存於網際網路檔案館） without downloading any software
- http://orms.mfo.de/about （頁面存檔備份，存於網際網路檔案館）
- Rosetta Translations: a collection of synonyms for various operations in the computer algebra systems （頁面存檔備份，存於網際網路檔案館）
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
