Efficiency considerations for indefinite integration by transformation rules


Rich A. D. , Jeffrey D. J.

9th WSEAS International Conference on Systems Theory and Scientific Computation, Moscow, Russia, 20 - 22 August 2009, pp.163-164 identifier

  • Publication Type: Conference Paper / Full Text
  • City: Moscow
  • Country: Russia
  • Page Numbers: pp.163-164

Abstract

This paper considers the evaluation of indefinite integrals by trans formation rules. The transformation rules are contained in a repository of mathematical information, and encapsulate not only knowledge of standard transformations, but also - and more importantly - conditions under which a trans formation should be applied. It is precisely the conditions of application which determine the efficiency of integration. We describe, using examples, how the efficiency of the repository call be optimized to reduce the expression size of output results and to reduce the amount of computation required for a particular class of integrals.