Increasing the scope of summation

[ghost]

For summation, SymPy uses Gosper's algorithm
I have seen Karr's algorithm mentioned several times, but it has never been implemented due to it's difficulty
Would it be worthwhile implementing algorithms by Zeilberger and Petkovsek (and perhaps, related algorithms for q-series), which are far easier than Karr's algorithm

[asmeurer]

Any algorithm that lets us compute more summations in closed form is worth implementing.