Hi,
I would be very happy to release my Maxima
package for definite symbolic summation as a GPL package
for Maxima and possibly as a part of Maxima.
The package implements Zeilberger's fast algorithm
and some improvements (e.g. automatic filtering).
It would be nice to have it as a part of Maxima
because for instance Mathematica does NOT have it
in its kernel. Maxima would be the only free
open source system the offers such feature.
My package was already availabe as a free
third party package and a link to it can be found
in the Maxima home page.
Best Regards
Fabrizio Caruso