Discrete Summation

Florian Haftmann 🌐 with contributions from Amine Chaieb

April 13, 2014

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.

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.

License

BSD License

Topics

Session Discrete_Summation

Used by

Cite

× 
@article{Discrete_Summation-AFP,
  author  = {Florian Haftmann},
  title   = {Discrete Summation},
  journal = {Archive of Formal Proofs},
  month   = {April},
  year    = {2014},
  note    = {\url{https://isa-afp.org/entries/Discrete_Summation.html},
             Formal proof development},
  ISSN    = {2150-914x},
}
Download

Download

× Download latest

Older releases: