On the logarithmic evaluation of recurrence relations

DOI10.1016/0020-0190(91)90078-VzbMath0743.68095MaRDI QIDQ1183470

Stefan Rönn

Publication date: 28 June 1992

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

Chebyshev polynomialsrecurrence relationhomomorphismsFibonacci numberprogram derivation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Unnamed Item
• Unnamed Item
• A presentation of the Fibonacci algorithm
• Computing Fibonacci numbers (and similarly defined functions) in log time

This page was built for publication: On the logarithmic evaluation of recurrence relations