Reducing Expression Size Using Rule-Based Integration

  • David J. Jeffrey
  • Albert D. Rich
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6167)


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.


Test Suite Transformation Rule Node Count Reduction Rule Mutual Exclusivity 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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. 2.
    Fateman, R.J.: A Review of Mathematica. J. Symb. Computation 13(5) (1992)Google Scholar
  3. 3.
    Einwohner, T.H., Fateman, R.J.: Searching techniques for integral tables. In: Proceedings ISSAC 1995, pp. 133–139. ACM Press, New York (1995)CrossRefGoogle Scholar
  4. 4.
    Gradshteyn, I.S., Ryzhik, I.M.: Table of Integrals, Series and Products. Academic Press, London (1965)Google Scholar
  5. 5.
    Rich, A.D., Jeffrey, D.J.: A knowledge repository for indefinite integration based on transformation rules. In: Carette, J., Dixon, L., Coen, C.S., Watt, S.M. (eds.) Calculemus 2009, MKM 2009. LNCS, vol. 5625, pp. 480–485. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  6. 6.
    Rich, A.D.: Indefinite Integration Rules,

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • David J. Jeffrey
    • 1
  • Albert D. Rich
    • 2
  1. 1.Department of Applied MathematicsThe University of Western OntarioLondonCanada
  2. 2. HawaiiUSA

Personalised recommendations