Great work!!!
Just a few typos, that I found:
page 40, First line of last paragraph: ... On line (C5), ...
should read: ... On line (C9), ...
page 47, First line of last paragraph: sprt(x) should read: sqrt(x)
page 61, First line of first textual paragraph: ... on line c29 ... should
probably (?) read: ... on line (D32) ...
Martin
P.S.: Fabrizio Caruso sent me a maxima version of his Zeilberger
algorithm. I did not yet have time to test it and it is not (yet) GPL, but
I asked him whether this was possible (no answer yet).