Techniqueintro
Iteration method
Also called unrolling, repeated substitution, expansion method.
Repeatedly substitute a recurrence into itself to expose a sum of terms, then evaluate that sum.
Repeatedly substitute a recurrence into itself to expose a sum of terms, then evaluate that sum.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag NQ45DG Edit this page History Report an error