[Axiom-developer] The Gosper algorithm for sum of hypergeometric functions.

[Francois Maltey]

Hello, 

Today I can't obtain sum as sum (1 / factorial n, n) with axiom silver.

Is there someone who has already make a such package ?
Is there someone who is working on ?

This algorithm uses hypergeometric functions and a recursive relation
over polynoms as a(n)p(n+1)-b(n-1)p(n)=c(n) where we are looking for
one polynom p(n) from a(n), b(n) et c(n).

I ask the same question : 
Are there such packages already done ?
Who is working for such packages ?

Have a good day.

François, in France.