计算机代数系统（英语：computer algebra system，缩写作：CAS），或符号代数系统（symbolic algebra system，缩写作SAS），是能够以类似于数学家和科学家传统手动计算的方式操作数学表达式的数学软件。这种系统的要件是数学表达式的符号运算。...

数学和计算机科学中，计算机代数或符号计算或代数计算，是研究、开发用于操作表达式等数学对象的算法与软件的科学领域。这通常被视为是运算科学的一个子领域，但运算科学一般基于近似浮点数的数值计算，而符号计算则使用含变量的表达式进行精确计算，其中变量没有赋值。 执行符号计算的软件系统称为计算机代数系统，“系统...

以下表格给出各计算机代数系统的比较。 这些计算机代数系统有时结合了一个提供良好的用户界面的“前端”程序，例如多功能的GNU TeXmacs. 以下是各系统中重要的符号功能的摘要。 可能需要使用模拟器，或者自行編譯。 一些图形计算器也有CAS的特点。 有几种不同的开源的定义。HP49 CAS的源代码...

計算機上交監考人員設定，待考試開始時再發還。監考人員會將計算機設為「考試模式」。在這個模式下，計算機預先存儲的資料將無法存取，監考人員還可以選擇封鎖計算機的部分功能，例如直接求解方程組、繪圖或CAS（電腦代數系統）等。 在台灣，中學的考試通常不允許使用計算機。大學課程的考試則視科目需要而允許計算機...

Xcas是Giac的圖形介面前端，Giac是一个开源的计算机代数系统（CAS），其适用于Windows、macOS和Linux以及其他许多平台。Xcas使用C++語言開發，其也可作為C++庫被其他C++程序使用。 Xcas兼容許多流行的計算機代數系統，譬如WolframAlpha、Mathematic...

2007年，Sage赢得自由软件的国际竞争中科学软件部分的Les Trophées du Libre首奖。 自由软件主题 数学主题 计算机代数系统列表 统计软件包比较（英语：Comparison of statistical packages） 数值分析软件的比较（英语：Comparison...

Maxima 是一种用LISP 编写的计算机代数系统（Computer Algebra System），用于公式推导和符号计算，它是一套自由软件，在GNU通用公共许可证下發行。它由麻省理工学院在美国能源部的支持下于60年代末创造的 Macsyma 演变而来。Macsyma 後來慢慢走上商業化的道路。1982年開始...

Mathematica：Mathematica是由美国沃尔夫勒姆研究公司开发的一款广泛使用的计算软件，拥有强大的数值计算和符号运算能力。 Maple：Maple是一個通用型的商用計算機代數系統。 LabVIEW：LabVIEW是由美國國家儀器公司所開發的圖形化程式編譯平台。 GAUSS： GNU Octave：GNU Octave是號稱最兼容MATLAB的一款開源軟件。...

DNS——用於計算機，服務或連接到互聯網或專用網絡的任何資源的分層分佈式命名系統 软件文档 领域 (软件工程) 域名系统——用於計算機，服務或連接到互聯網或專用網絡的任何資源的分層分佈式命名系統 双精度浮点数 下载——從遠程系統接收數據到本地系統 边缘设备 模拟器——系統模擬真實係統，使行為與真實係統的行為非常相似...

5 × 2 {\displaystyle 5\times 2} 不會表示成 52 {\displaystyle 52} 。 此題若不以代數觀點看（但非代數算式中乘號是不得省略的），會被看作 6 ÷ 2 × ( 1 + 2 ) {\displaystyle 6\div 2\times (1+2)}...

電腦科學的所有數學方面，包括計算複雜性理論、编程语言邏輯、算法分析、密码学、计算机视觉、模式识别、資訊處理、和智慧建模。 运算科学和數值分析。 數學最优化和控制理論的計算方面。 計算機代數系統。 獎項於1981年由國際數學家大會執行委員會設立，以紀念在前一年過世的芬蘭數學家罗尔夫·内...

GiNaC是一个自由的计算机代数系统，在 GNU通用公共许可证下发布。GiNaC这个名字是一个递归缩写：GiNaC is Not a CAS（CAS，计算机代数系统）。这样的命名方式源于GNU计划。 GiNaC与其他计算机代数系统不同的是，它并没有提供一个上层的用户互动界面，而是鼓励用户直接用C++...

軟件計算器可用于许多不同的系統平台，它们可以是： 操作系统中的軟件。 在网页中作为伺服端或客户端脚本（例如JavaScript ）实现的程序。 嵌入智能手錶中。 此外，复杂的軟件可能有类似傳統計算器的对话框，更會有完整的計算器功能，用于将数据输入系统。 普遍狹義上所稱的計算機...

线性代数既是纯数学也是应用数学的核心。例如，放宽向量空间的公理就产生抽象代数，也就出现若干推广。泛函分析研究无穷维情形的向量空间理论。线性代数与微积分结合，使得微分方程线性系统的求解更加便利。线性代数的理论已被泛化为算子理论。 线性代数的方法还用在解析几何、工程、物理、自然科学、計算機科學、计算机...

Cadabra是一款为研究张量分析和场论而设计的计算机代数系统 在GNU通用公共许可证下发布的，Cadabra是免费软件。 Cadabra具有广泛的功能为张量多项式简化包括multi-term对称性,费米子和anti-commuting变量,克利福德代数和Fierz转换、内含协调...

运算物理学、运算化学等专业也有一些学校开设。 统计运算 （statistical computing） 计算机代数系统比较 统计软件列表 分子力学建模软件列表 （英文）运算科学策略报告 Mathematica 6 （页面存档备份，存于互联网档案馆） Scientific...

彼得·大衛·摩西（英語：Peter David Mosses，1948年—）是一名英國計算機科學家。 摩西本科就讀於牛津大學三一學院數學系，並於1970年代初在牛津大學沃弗森學院的程式設計研究組（英语：Programming Research Group）獲得克里斯多福·斯特雷奇督導的博士學位。他...

，也可視為-1的平方根。另一个能滿足x2 = −1的複數x是−i。四元數的代數包含複數平面，等式x2 = −1擁有無限多組解。 我們定義 x − 1 = 1 x {\displaystyle x^{-1}={\frac {1}{x}}} ，即代數x的−1次方，或代數x的倒數。可將此定義結合指數定律 x a ⋅ x b =...

Mathomatic是一个自由，便携式，通用计算机代数系统（CAS） 和计算器软件，可以符号式的解答、化简、结合并比较代数方程，执行复数和多项式的计算，等等。它也可以做符号化的微积分（导数，极值，泰勒级数，和多项式积分以及拉普拉斯变换）并且能操作所有的基本代数。三角函数可以被输入并使用欧拉公式处理。诸如f(x)...

Active Space） 计算机代数系统（Computer Algebra System） 近接空中支援（Close Air Support） 行政院農業委員會CAS台灣優良農產品證明標章 無線通達服務（Cordless Access Service） 条件接收系统（Condition Access...

Grothmann。2007年，Euler 與 Maxima 計算機代數系統結合。符號表達式和其他功能被添加進來，以便與 Maxima 通信，並實現與數值 Euler 核心的高度整合。 Euler 的核心是一個用 C/C++ 編寫的數值系統。它能處理實數、複數和區間值，以及這些類型的矩陣。其他可用的...

Yacas（['jækəs]）是一個數學代數系統。它的全名為Yet Another Computer Algebra System。Yacas是自由軟體，它的版權聲明為GPL。 YACAS可以作數學代數運算、解方程式，或作高精確度的數值計算（可以精確到你指定的任何小數位數）。 官方网站 GitHub上的yacas頁面...

SymPy是一个符号计算的Python库。它的目标是成为一个全功能的计算机代数系统，同时保持代码简洁、易于理解和扩展。它完全由Python语言写成，不依赖于外部库。 SymPy支持符号计算、高精度计算、模式匹配、绘图、解方程、微积分、组合数学、离散数学、几何学、概率与统计、物理学等方面的功能。 SymPy在新BSD许可证下开源。...

Wolfram Mathematica （简称：Mathematica）是一款科学计算软件，有时候也被称为计算机代数系统，广泛使用于科学、工程、数学、计算等领域。 它是由英国科学家斯蒂芬·沃尔夫勒姆提出构想，并且由他所领导的沃尔夫勒姆研究公司（位于美国伊利诺伊州香槟市）开发的一款广泛使用的科学计算...

，通常与拉普拉斯变换、傅里叶变换与梅林变换有关。由于缺乏通用算法，计算机代数系统的开发人员采用了基于模式匹配和特殊函数（尤其是不完全Γ函数）的启发式算法。虽然这种方法是启发式，而非算法式，但仍是解决实际工程应用遇到的许多定积分的有效方法。诸如Macsyma的早起系统有些定积分与表中的特殊函数有关，但这种方法设计特殊...

P，python和R。GMP主要运用于加密应用和研究、互联网安全应用、计算机代数系统和计算代数研究。GMP的目标是成为最快的大数运算库，GMP是GNU项目的一部分，它在GNU宽通用公共许可证下发表。GMP在许多计算机辅助代数系统中用于整数运算，如Mathematica和Maple。GMP需要使用GCC（GNU编译器套装）编译。...

{\displaystyle \operatorname {Res} _{x}(y\,h(x)-g(x),P(x)).} 这通常很难手动计算。不过大多数計算機代數系統都有内置函数来计算结式。 若多项式P不可约，那么得到的多项式Q的结果要么不可约，要么是不可约多项式的幂。设 α {\displaystyle \alpha...

AMPL，名稱源自於數學程式語言（英語：A Mathematical Programming Language）的縮寫，一種代数建模语言，用以解決與描述大規模數學運算中的高度複雜問題。 最早於1985年由貝爾實驗室的羅伯特·傅里葉（Robert Fourer）、大衛·蓋伊（David Gay）、布萊恩·柯林漢所共同創造。...

MuPAD（Multi Processing Algebra Data Tool）是一个商用计算机代数系统。最初由德国帕德博恩大学（Universität Paderborn）Benno Fuchsteiner教授的MuPAD研究小组开发而成，1997年以来，其开发由该研究小组与德国SciFace...

系統，以2為基數代表系統是二進位制的。這一系統中，通常用兩個不同的數字0和1來表示。數字電子電路中，邏輯門直接採用了二進制，因此現代的計算機和依赖計算機的設備裡都用到二進制。每個數字稱為一個位元（二進制位）或比特（Bit，Binary digit 的縮寫）。 现代的二进制记数系统...

计算机代数包。GRTensor II不是独立的软件包，该程序通过Maple 9.5和所有Maple V第3版的版本一起运行。一个受限版（GRTensorM）已经移植到Mathematica上。 maxima是一个GPL 计算机代数系统自由软件，它可以用来做张量代数计算。 maxima中的张量...