Abstract
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.
BSD LicenseFlorian Haftmann with contributions from Amine Chaieb
13 April 2014