ThmDex – An index of mathematical definitions, results, and conjectures.
Set of symbols
Alphabet
Deduction system
Theory
Zermelo-Fraenkel set theory
Set
Binary cartesian set product
Binary relation
Map
Countable map
Sequence
Sequence element swap operation
Sequence element swap algorithm
Quicksort partition algorithm
Quicksort algorithm
Algorithm
Definition D5779
Iterative Fibonacci algorithm
Formulation 0
The iterative Fibonacci algorithm is the D5769: Algorithm
$\text{IterativeFibonacci}(n \in \mathbb{N})$
$x \leftarrow 0$
$y \leftarrow 1$
$\text{for } i = 0 \text{ to } n$
$z \leftarrow x$
$x \leftarrow y$
$y \leftarrow y + z$
$\text{return } x$