A new algorithm for symbolic integral with application

Weiming Wang

doi:10.1016/j.amc.2004.01.019

A new algorithm for symbolic integral with application

2005-03-01

23

PRE

AI

DOI：10.1016/j.amc.2004.01.019

原文链接

原文求助

摘要

En 中文

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. (C) 2004 Elsevier Inc. All rights reserved.

Keyword:

symbolic integral

operand

algorithm

the mean-value theorems for derivatives

automatic proving

Maple

A new algorithm for symbolic integral with application

摘要

期刊

机构

引用论文