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.