数学计算程序计算不定积分是采用Risch算法吗

看上去,有些时候是这样的
以下是Mathematica 10.4.1的帮助文件
【数学计算程序计算不定积分是采用Risch算法吗】 微分和积分

微分使用缓存来避免重复计算局部结果.

对于不定积分,只要被积函数和积分能被初等函数、指数积分函数、多对数及其相关函数表示,则使用广义 Risch 算法.

对于其它不定积分,则使用带模式匹配的启发式化简.

Wolfram 语言中的算法囊括了诸如 Gradshteyn\\Ryzhik 之类标准参考书中的所有不定积分.

不包含奇点的定积分主要通过求不定积分的界来实现.

许多其它的定积分使用了 Marichev-Adamchik Mellin 变换方法来实现. 其结果最初常常表示由 Meijer G 函数表出,从而可以使用 Slater 定理转换为超几何函数然后进行化简.

对于由不等式界定的多维区域上的积分,则是通过递归分解成不相交的柱形或三角单元来计算得到.

Integrate 使用了约500页 Wolfram 语言代码和600页C代码.


    推荐阅读