A new algorithm for symbolic integral with application
A new algorithm for symbolic integral with application
复制标题
DOI：
10.1016/j.amc.2004.01.019
复制
发表时间：
2005-03
期刊：
影响因子：
--
通讯作者：
Weiming Wang;Xinze Lian
中科院分区：
文献类型：
--
作者：
Weiming Wang;Xinze Lian
本文利用数学分析和计算机代数的理论和方法，建立了符号积分的一种新算法，并由此建立了一种新的Maple过程Myint。并将其应用于导数中值定理的自动证明。结果表明，本文建立的符号积分算法具有思想简单、运算性能好、运算能力强等优点。这对于求解微分方程组、自动证明某些数学定理等问题都是有用的。
In this paper, by using the theories and methods of mathematical analysis and computer algebra, a new algorithm of symbolic integral was established, a new Maple procedure myint for it was established, too. And it was applied to the automatic proving the mean-value theorems for derivatives. The results indicated that the algorithm of symbolic integral had been established in this paper had advantage of simple idea, excellent property for operation and powerful competence. This would be useful for the problem of solving differential equations, automatic proving some mathematical theorems, and so on.