Patrick M. Rutkowski wrote:
> The question I would like to address to the list is the same question
> posed at the bottom of the PDF:
>
> "Now, I can do it as a human, but how the heck would a computer
> analysis system figure that out!?"
>
>
There are, of course, algorithms for this. In src/limit.lisp, there's a
link that says the algorithms are probably in Paul Wang's thesis on
definite integrals,
<http://www.lcs.mit.edu/publications/specpub.php?id=660>;.
In this particular example, Maxima use L'Hospital's rule to figure out
the limit, just like what a calculus student would do.
Ray