Evaluation of Definite Integrals by Symbolic Manipulation

Abstract

A heuristic computer program for the evaluation of real definite integrals of elementary functions is described. This program, called WANDERER (WANg's DEfinite integRal EvaluatoR), evaluates many proper and improper integrals. The improper integrals may have a finite or infinite range of integration. Evaluation by contour integration and residue theory is among the methods used. A program called DELIMITER (DEfinitive LIMITEvaluatoR) is used for the limit computations needed in evaluating some definite integrals.