En mathématiques, et plus particulièrement en calcul formel, la sommation symbolique consiste à calculer la somme d'une suite finie ou d'une série, en général sous forme d'une formule ne faisant plus apparaître de signe somme. Un autre volet du problème est de déterminer qu'une somme donnée n'admet pas d'expression dans une certaine classe de formules.