Fibonacci

How to Compute Fibonacci Numbers?

December 5, 2019 December 5, 2019 / Fibonacci, Haskell, Inductive Proof, Program Derivation

Some inductive proofs and some light program derivation about Fibonacci numbers. If you think the fastest way to compute Fibonacci numbers is by a closed-form formula, you should read on!

Tail-Recursive, Linear-Time Fibonacci

July 12, 2008 July 13, 2008 / Fibonacci, Program Derivation

How can I introduce accumulating parameters to derive the linear-time, tail recursive implementation of fib.