符号运算

亦称“计算机代数”。研究如何利用计算机进行公式推导和解析运算的学科。与数值运算共为科学计算的两个方面。符号运算将处理的对象（字母、公式或数）视为符号，运算中没有舍入误差，获得的结果是正确的，但并非所有问题都可进行符号运算，局限性比数值运算大。一般来说，需要花费大量手工推导的工作可借助符号运算来完成，例如x⁴⁰－1的因式分解。它还应用于人工智能的许多领域，如定理的机器证明等。