Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
9507195 | Applied Mathematics and Computation | 2005 | 20 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Mathematics
Applied Mathematics
Authors
Weiming Wang, Xinze Lian,