[Maxima] patterns for integration

[Raymond Toy (RT/EUS)]

Robert Marik wrote:
> I tried to put trace command to changevar and evaluate integral in 
> Maxima to see, if changevar is used when integrating in Maxima but (as I 
> supposed) without any success.

This is because the integration routines don't call changevar directly. 
    The routines do use substitution, but it's more "direct" and 
bypasses changevar.

If you want an overview of maxima's integration algorithms, I would 
recommend reading Joel Mose's thesis on indefinite integration and Paul 
Wang's thesis on definite integration.  Both of these are available 
online from MIT.

http://www.lcs.mit.edu/publications/pubs/pdf/MIT-LCS-TR-047.pdf
http://www.lcs.mit.edu/publications/pubs/pdf/MIT-LCS-TR-092.pdf


Ray