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

for Algebra and Geometry Experimentation”的首字母缩写），是一个覆盖许多数学功能的应用软件，包括代数、组合数学、图论、计算数学、数论、微积分和统计。 SAGE的第一个版本在GNU许可证下发布于2005年2月24日，最初的目标是创造一个“Magma、Maple...

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

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

计算机科学基础领域 计算机科学（英語：Computer science，有时缩写为CS）是系统性研究信息与计算的理论基础以及它们在计算机系统中如何实现与应用的实用技术的学科。 它通常被形容为对那些创造、描述以及转换信息的算法处理的系统研究。计算机科学包含很多分支领域；有些强调特定结果的计算...

因为真值可以在逻辑电路中表示为二进制数或电平，这种相似性同样扩展到它们，所以布尔代数在电子工程和计算机科学中同在数理逻辑中一样有很多实践应用。在电子工程领域专门化了的布尔代数也叫做逻辑代数，在计算机科学领域专门化了布尔代数也叫做布尔逻辑。 布尔代数也叫做布尔格。关联于格（特殊的偏序集合）是在集合包含A ⊆ B和次序...

。用户可以自行创建新的文档样式。编辑器采用高质量的排版算法和 TeX 字体用于专业出版。 TeXmacs 可作為一系列计算机代数系统的前端，例如 Maxima 和 Sage。將計算或推導得出的數學公式直接顯示在筆記中，無須重複輸入和語法翻譯。 作為所见即所得的文本编辑器（如Microsoft Word），TeXmacs...

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

algebra）得名于乔治·布尔，他是爱尔兰科克的皇后学院的英国数学家，他在十九世纪中叶首次定义了逻辑的代数系统。现在，布尔逻辑在电子学、计算机硬件和软件中有很多应用。在1937年，克劳德·艾尔伍德·香农展示了布尔逻辑如何在电子学中使用。 使用集合代数作为介绍布尔逻辑的一种方式。还使用文氏图来展示各种布尔逻辑陈述所描述的集合联系。...

算法（英語：algorithm），在数学（算学）和计算机科学之中，指一个被定义好的、计算机可施行其指示的有限步骤或次序，常用于计算、数据处理和自动推理。算法可以使用条件语句通过各种途径转移代码执行（称为自动决策），并推导出有效的推论（称为自动推理），最终实现自动化。...

在数学和数理逻辑中，逻辑代数（有时也称开关代数、布尔代数）是代数的一个分支，其变量的值仅为真和假两种真值（通常记作 1 和 0）。初等代數中变量的值是数字，而且主要的运算是加法、乘法和乘方（以及它們的逆运算），而逻辑代数的主要运算符有合取与，记为∧；析取或，记为∨；否定非，记为¬。因此，它是描述逻辑...

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

集合代数 乔治·布尔 布尔代数 布尔域 布尔函数 布尔逻辑 蕴涵项 布尔素理想定理 布尔值函数 布尔值模型 布尔可满足性问题 布尔三段论 规范形式 (布尔代数) 特征函数 紧致性定理 完全布尔代数 德·摩根 德·摩根定律 对偶性 (序理论) 实体图 存在图 一阶逻辑 形式系统 自由布尔代数 Heyting代数...

20世纪80年代早期，基本计算器開始置入其他小型裝置，例如手機、呼叫器或腕錶。 科學计算器或工程型计算器支援三角函數、微積分、統計與其他函數。而最先進的現代计算器甚至可顯示圖型，並且包含电脑代数系统。這種计算器可以編寫程式，且內含了代數方程式求解程式、經濟模型甚至遊戲程式。這類计算器可顯示填滿螢幕的單一數值。並可將數字以科學記數法表現至9...

数值线性代数（英語：numerical linear algebra），又稱應用線性代數（英語：applied linear algebra）是一门研究在计算机上进行线性代数计算，特别是矩阵运算算法的学科，是數值分析的一個分支。计算机用浮点数运算，无法精确表示无理数数据，因此计算机...

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

λ演算和组合子逻辑的演算属于理想的程序语言。 与之相应的，计算机科学在自动验证和自动寻找证明等技巧方面的成果对逻辑研究做出了反哺，比如说自动定理证明、计算机辅助证明、计算群论和逻辑编程的应用。 逻辑史 某些哲学倾向浓厚的数学家对用符号或代数方法来处理形式逻辑作过一些尝试，比如说莱布尼兹和朗伯（Johann...

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

計算功能仅用于辅助指定某些单元格中的值。 計算機代数系统通常不称为計算器，因为它们的主要目的是对包含变量和复杂运算（例如积分）的数学表达式执行符号操作。但是，表达式可以是不使用变量的基本計算，并且可以像計算器一样简单地进行計算。...

系统内的不确定命题。 在1973年，同调代数中的怀特海问题被证明是集合论中的不确定命题。 1977年，Paris和Harrington证明了组合论中的一个命题，拉姆赛理论的某个版本，在皮阿诺公理给出的算术公理系统中是不确定的，但可以在集合论的一个更大体系中证明为真。 在计算机...

_{-1}^{1}x^{2}\,dx\approx 0.6667} 是同一定积分的数值结果。 数学主题 积分——计算操作 初等函数 不定积分 积分表——維基媒體列表條目 运算微积分 Risch算法 计算机代数 Meijer G-函数 Bronstein, Manuel. Manuel Bronstein on...

1854年，英国数学家乔治·布尔发表了一篇里程碑式的论文，其中详细介绍了一种代数化的逻辑系统，后人称之为布尔代数。他提出的逻辑演算在后来的电子电路设计中起基础性作用。 1937年，克劳德·香农在麻省理工大学完成了其电气工程硕士学位论文，用继电器和开关实现了布尔代数和二进制算术运算。论文题为《继电器与开关电路的符号分析》（A...

描述几何 解析几何和向量技术通过允许系统的使用线性方程组和矩阵代数带来了重大的冲击；这在高维变得更为重要。研究这个主题的一个重要应用是计算机图形学，这意味着算法变得重要起来。 球 (数学) 欧几里得几何 維度 点 平面測繪（英语：Planimetry） 形狀 形狀列表（英语：Lists of shapes）...

在1967年，英国计算机科学家克里斯托弗·斯特雷奇在他的讲义合集《编程语言中的基础概念（英语：Fundamental Concepts in Programming Languages）》中，首次提出了特设多态和参数多态的概念。特设多态是ALGOL 68的特征，而参数多态是ML在1975年介入的类型系统的核心特征。...

双面真理说 可计算性逻辑 多值逻辑 模糊逻辑 模态逻辑 数理逻辑（符号逻辑） 代数逻辑 布尔代数 关系代数 模型论 证明论 希尔伯特演绎系统 自然演绎 相继式演算 柯里-霍华德同构 递归论 λ演算 组合子逻辑 公理化集合论 二階邏輯 哥德尔不完备定理 直觉逻辑（构造性逻辑） Heyting代数 中间逻辑...

在计算机发明之前，寻找轨道需要复杂的数学技术，且只能针对一小类动力系统。电子计算机上实现的数值方法大大简化了确定轨迹的过程。 对简单动力系统来说，有轨迹就够用了。但大多数动力系统都过于复杂，无法用单个轨迹求解。出现困难的原因主要有： 系统只有近似值—系统...

一个理想的记数系统能够： 有效地描述一组数（例如，整数、实数） 所有的数对应唯一的表示（至少有一个标准表示法） 反映数的代数和算术结构 记数系统可以按照以下方式分类： 按照底数區分的进位制，可分为十进制、二进制、八进制等 按照写法，可分为中文数字、阿拉伯数字、罗马数字等...

在数学中，布尔函数（Boolean function），又称逻辑函数，描述如何基于对布尔输入的某种逻辑计算确定布尔值输出。它们在复杂性理论的问题和数字计算机的芯片设计中扮演基础角色。布尔函数的性质在密码学中扮演关键角色，特别是在对称密钥算法的设计中（参见S-box）。 在数学中，有限布尔函数是如下形式的函数f :...

Lisp可能是1980年代最广泛发行和使用的Lisp系统。 这个名字是作曲家和钢琴家Franz Liszt的谐音。 它被专门书写为在VAX上运行Macsyma（英语：Macsyma）计算机代数系统的宿主。这个项目开始于1978年晚期，在UC Berkeley收到其首个VAX...

integrated development environments，文件共享程序如LimeWire和Vuze. Java还被应用于线性代数计算编程环境，包括用户界面和部分系统核心功能。 Java ME在移动设备上越来越流行，并开始与Symbian, BREW，和.NET Compact Framework展开竞争。...

信息技术（英語：Information Technology，縮寫：IT）是主要用于管理和處理信息所採用的各種技術總稱，主要是應用计算机科学和通信技術来設計、開發、安装和部署信息系統及應用軟件。依照存儲和處理信息的不同，可以將信息技術的發展分為幾個不同的階段：前機械時期（公元前3000–公元1450）、機...