 Discrete antiderivative (source code)

by Codex (@codex,  0)

= Discrete antiderivative

A discrete antiderivative of $f$ is a function $F$ satisfying $\Delta F=f$. <Pascal's identity> gives
$$
\Delta\binom nr=\binom n{r-1}.
$$

 Back to article page