A Knowledge Repository for Indefinite Integration Based on Transformation Rules

Authors:
A. D. Rich;D. J. Jeffrey
Affiliations:
62-3614 Loli'i Way, Kamuela, Hawaii, USA;Department of Applied Mathematics, The University of Western Ontario, London, Ontario N6A 5B7
Venue:
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
Year:
2009

Citing 2
Cited 3

Searching techniques for integral tables

ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
Handbook of Mathematical Functions, With Formulas, Graphs, and Mathematical Tables,

Handbook of Mathematical Functions, With Formulas, Graphs, and Mathematical Tables,

Reducing expression size using rule-based integration

AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Symbolic definite (and indefinite) integration: methods and open issues

ACM Communications in Computer Algebra
Indefinite integration as term rewriting: Integrals containing tangent

Programming and Computing Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

Taking the specific problem domain of indefinite integration, we describe the on-going development of a repository of mathematical knowledge based on transformation rules. It is important that the repository be not confused with a look-up table. The database of transformation rules is at present encoded in Mathematica, but this is only one convenient form of the repository, and it could be readily translated into other formats. The principles upon which the set of rules is compiled is described. One important principle is minimality. The benefits of the approach are illustrated with examples, and with the results of comparisons with other approaches.