Symbolic computation of linear relations of parameter integrals
Sprache des Vortragstitels:
Symbolic Computation and its Applications 2010
Sprache des Tagungstitel:
The problem of finding antiderivatives of given functions is very old. For rational integrands algorithms are known already for a long time. In 1969 Robert Risch published an algorithm that finds an elementary integral of an elementary function provided such an indefinite integral exists. In this talk an extended version of Risch's algorithm for Liouvillian integrands is presented. It will also be discussed how this can be used for obtaining linear differential, recurrence, or mixed relations for definite integrals involving parameters, e.g. special functions given by an integral. Illustrating examples will be given.