[isabelle] New AFP entry: Discrete Summation



Discrete Summation
Florian Haftmann with contributions by Amine Chaieb

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.

http://afp.sourceforge.net/entries/Discrete_Summation.shtml

Enjoy!




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.