Reducing Expression Size Using Rule-Based Integration
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.
KeywordsTest Suite Transformation Rule Node Count Reduction Rule Mutual Exclusivity
Unable to display preview. Download preview PDF.
- 1.Abramowitz, M., Stegun, I.: Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. US Government Printing Office (1964) (10th Printing December 1972)Google Scholar
- 2.Fateman, R.J.: A Review of Mathematica. J. Symb. Computation 13(5) (1992)Google Scholar
- 4.Gradshteyn, I.S., Ryzhik, I.M.: Table of Integrals, Series and Products. Academic Press, London (1965)Google Scholar
- 6.Rich, A.D.: Indefinite Integration Rules, http://www.apmaths.uwo.ca/RuleBasedMathematics