[Axiom-developer] symbolic summation beta

[root]

Fabrizio,

>My previous work on Symbolic summation was related
>to hypergeometric symbolic summation and Zeilberger's algorithm,
>which I have implemented in Ma(cs/x)yma.

Can you send me a copy of the Maxima code for this?

>
>One of the people working on the book is 
>Prof. Laureano Gonzalez-Vega (Santander, Spain).
>I will ask him about the status and let you know as soon as possible.

Have you been able to contact Laureano?

>
>I also mentioned the work of Carsten Schneider 
>(Risc-Linz), who has improved and implemented Karr's algorithm 
>in his Mathematica package (Sigma), which should now be available for 
>download at the RISC site after writing an email to him or his boss (P.Paule).
>His improved and generalized version of Karr's algorithm is 
>the most sophisticated summation tool. It resembles Risk's algorithm
>for symbolic integration.

I have copies of his papers but no code.
It is interesting work and we need to make a start on symbolic
summation in Axiom.

Tim