Also, you could look at James Slagle's thesis, also at MIT.
Ignoring the fact that what you are doing -- having a computer simulate the
behavior that humans might use for these problems -- is often NOT the best
way to write a program.
As a crude analogy, if you were simulating humans doing arithmetic, asking
to show the fingers used for remembering "carries".
> -----Original Message-----
> From: maxima-bounces at math.utexas.edu
> [mailto:maxima-bounces at math.utexas.edu] On Behalf Of Raymond
> Toy (RT/EUS)
> Sent: Tuesday, March 25, 2008 6:35 AM
> To: Robert Marik
> Cc: maxima at math.utexas.edu
> Subject: Re: [Maxima] patterns for integration
>
> 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
> _______________________________________________
> Maxima mailing list
> Maxima at math.utexas.edu
> http://www.math.utexas.edu/mailman/listinfo/maxima
>