OFFSET
1,1
LINKS
Amiram Eldar, Table of n, a(n) for n = 1..300
Jeffrey Shallit, Proving Properties of phi-Representations with the Walnut Theorem-Prover, arXiv:2305.02672 [math.NT], 2023.
Eric Weisstein's World of Mathematics, Phi Number System.
FORMULA
There is a 46-state automaton accepting precisely the Zeckendorf representation of members of this sequence. - Jeffrey Shallit, May 03 2023
MATHEMATICA
q[n_] := Plus @@ RealDigits[n, GoldenRatio, 2*Ceiling[ Log[GoldenRatio, n]] ][[1]] == 5; Select[Range[2000], q] (* Amiram Eldar, Jan 20 2022 *)
CROSSREFS
KEYWORD
nonn,base
AUTHOR
Eric W. Weisstein, Mar 17 2005
STATUS
approved