WikiLeanRecent changes · Proposals · Flags · Stats · About

Diff — Recurrence relation

Revision #1530 → #2150 · back to history

addedClosed-form formula for binomial coefficients0d45dbbf5e0d
addedCharacteristic equation of a linear recurrence12766bcdfecb