我记得我解决了很多不定积分问题。解决这些问题有一些标准方法，但也有一些问题需要综合各种方法才能得到解决。
但是我们怎样才能用程序来实现这个解决方案。
例如，看看Mathematica的在线集成应用程序。那么我们如何编写这样一个程序，它接受一个函数作为参数，并返回函数的不定积分。
注：输入函数可以假定为连续的（例如不是sin（x）/x）。
最佳答案
您有Risch's algorithm这是一个微妙的不可判定的（因为您必须决定两个表达式是否相等，类似于普遍存在的停止问题），并且需要很长时间才能实现。
如果你喜欢复杂的东西，解一个常微分方程其实并不难（计算一个不定积分就相当于解y'=f（x））。存在一个伽罗瓦微分理论，它将伽罗瓦理论模拟为多项式方程（但具有解对称性的李群，而不是根置换的有限群）。Risch的算法就是以此为基础的。