Reducing expression size using rule-based integration

Authors:
David J. Jeffrey;Albert D. Rich
Affiliations:
Department of Applied Mathematics, The University of Western Ontario, London, Canada;Department of Applied Mathematics, The University of Western Ontario, London, Canada
Venue:
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Year:
2010

Citing 2
Cited 1

Searching techniques for integral tables

ISSAC '95 Proceedings of the 1995 international symposium on Symbolic and algebraic computation
A Knowledge Repository for Indefinite Integration Based on Transformation Rules

Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics

Symbolic definite (and indefinite) integration: methods and open issues

ACM Communications in Computer Algebra

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes continuing progress on the development of a repository of transformation rules relevant to indefinite integration. The methodology, however, is not restricted to integration. Several optimization goals are being pursued, including achieving the best form for the output, reducing the size of the repository while retaining its scope, and minimizing the number of steps required for the evaluation process. New optimizations for expression size are presented.