A Formal Derivation of an 0(log n) Algorithm for Computing Fibonacci Numbers

From MaRDI portal
Publication:3714128