Structural theorems for symbolic summation
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.
structural theorems symbolic summation difference fields symbolic integration liouville's theorem