Mathematica Solutions to the ISSAC '97 Systems
Wolfram Research, Inc.
What is ?
Method: Do a change of variables.
The current version cannot do the integral directly. (However, the
next version can.)
In such a situation it is always a good idea to simplify the argument
of the most complicated function. So we let ,
and this works.
The substitution also works.
Note 1: We check the integral numerically to make sure the
symbolic result is correct.
Note 2: The corresponding indefinite integrals can be done