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,
Hi-index | 0.00 |
This paper considers the evaluation of indefinite integrals by transformation 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 transformation 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 can be optimized to reduce the expression size of output results and to reduce the amount of computation required for a particular class of integrals.