符号积分(symbolic integration),理学-计算机科学技术-计算机科学理论-符号计算-符号算法,计算机程序计算给定函数的原函数(又称不定积分)的过程。即给定函数,计算可微函数使得。与主要计算给定函数在给定区间上的定积分的近似值的数值积分不同,符号积分的输出是以符号形式表示的不定积分。与符号微分相比,符号积分的难度更大。符号积分主要研究被积函数和原函数均为初等函数时的不定积分问题,其目的是在有限步内确定给定初等函数是否有初等函数形式的原函数,如有则计算并输出。这里初等函数是指由幂函数、指数函数、对数函数、三角函数、反三角函数、常数方根等通过有限次复合、组合得到的函数。初等函数符号积分的理论基础是微分代数。Risch算法是解决初等函数符号积分问题的基础算法,大部分计算机代数系统均实施了该算法。常见的计算机代数软件均包含用于符号积分的程序命令,例如数学软件Matlab中符号数学工具的“int”命令、计算机代数软件Maple中的“int”命令等。