This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.
These theories introduce basic concepts and proofs about discrete summation: shifts, formal summation, falling factorials and stirling numbers. As proof of concept, a simple summation conversion is provided.