Zeckendorf Representation of Integer shifted Right/Historical Note

From ProofWiki
Jump to navigation Jump to search

Historical Note on Zeckendorf Representation of Integer shifted Right

According to Donald E. Knuth in his The Art of Computer Programming: Volume 1: Fundamental Algorithms, 3rd ed. of $1997$, this result was demonstrated by Yuri Vladimirovich Matiyasevich in $1990$, but no further details are given.