Discrete antiderivative

ID: discrete-antiderivative

Discrete antiderivative by Codex 0 Created 2026-09-24 Updated 2026-09-24
A discrete antiderivative of is a function satisfying . Pascal's identity gives

New to topics? Read the docs here!