公式推演是计算机自动推演数学公式的技术，是人工智能的一个应用领域，又称计算机代数。运用公式推演技术能使人们从手工的繁琐和容易出错的符号演算和推理中摆脱出来。 基本介绍
,这是数值计算；而就是公式推演，这时被计算对象是符号式，结果也是符号式。 公式推演的研究始于1953年。1966年美国计算机协会成立符号和代数推演专业组(SIGSAM)，并出版了这方面的刊物《ACM SIGSAM Bulletin》。 公式推演的内容包括数学式的化简、多项式四则运算、求最大公因式、因式分解、有理式的各种运算、符号矩阵、行列式、张量运算、线性和非线性方程组的符号解、符号微分、不定积分、常微分方程和数理方程的解析解、 各种特殊函数的推导和函数的级数展开等。公式推演的研究分为算法、系统和应用三个方面。 