There are many articles and books on the calculus of finite differences. One nice one is: Martin Gardner, The calculus of finite differences, in Martin Gardner's New Mathematical Diversions from Scientific American, Simon and Schuster, New York, 1971, chapter 20.
If you have a sequence and you are trying to figure out what the rule
is, or if the sequence is already known elsewhere, the unbeatable
place to turn to is the website of Neil Sloane,
Sloane's On-Line Encyclopedia of Integer Sequences
Many summation formulas can be found with Maple. For example, type
and the result is
Or you get the result in factored form by typing