Discrete Summation

Florian Haftmann with contributions from Amine Chaieb

13 April 2014

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 License

Used by

Topics

Related Entries

Theories