In some cases yes, see:
http://www.reduce-algebra.com/docs/qsum.pdf
and references therein...
EDIT A canonical reference is Petkovsek-Zeiberger's A=B.
In some cases yes, see:
http://www.reduce-algebra.com/docs/qsum.pdf
and references therein...
EDIT A canonical reference is Petkovsek-Zeiberger's A=B.