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.