实现多项式的计算问题

灵树

利用数学的定义和已知的结论对多项式进行有目的的计算工作。谁有这方面的研究资料可以共享？也可以我们天马行空的自由讨论，

northwolves

四则运算和乘方微分积分相对比较简单，递归即可。楼主需要什么样的计算？

灵树

现在还没有一个很明确的东西，就是在做微分积分计算的时候想到的一个事情。比如求导或是微分，初始有一个多项式，目标是求多项式导数方程，计算过程中多项式是否需要展开，是否需要合并，需要引用哪个定义公式进行替换，这些是在代码中实现的过程。我就想知道学术上这个应该叫什么，现在都有哪些研究成果。

dlsh

能否应用于几何自动推理

灵树

多项式中会包涵三角函数、指数、对数等各种不同的项，在转换过程中也会有分解、合并、代入替换等很多种方法公式可以调用，其中会有某一项对应几种转换或是几项合在一起对应一个转换方法就是多对多，还有随着我们对某一方面认识的深入会有新的方法公式加入进来，人脑对这些多项式的计算是靠强大的记忆力不断的分析和顿悟来达到某一个目的。让机器来完成这项工作，有什么样的路可走。

灵树

数学中有很多东西是用自然语言来描述的，如果能把这种自然语言描述的东西转换到机器可以识别的结构化数据，是不是就可以实现智能化的自动推理工作，只少这应该是中间很重要的一步。