Structural theorems for symbolic summation

Abstract. Starting with Karr's structural theorem for summation --the discrete version of Liouville's structural theorem for integration-- we work out crucial properties of the underlying difference fields. This leads to new and constructive structural theorems for symbolic summation. E.g., these results can be applied for harmonic sums which arise frequently in particle physics.

• Type: Journal
• Year: 2010
• Where: AAECC
• Authors: Carsten Schneider
• Keywords: AAECC 2010, Algorithms, Constructive Structural Theorems, Structural Theorems, Summation