%I #19 May 05 2023 01:35:13
%S 11,15,22,23,24,26,30,31,32,34,35,37,41,42,43,45,46,51,52,53,55,66,83,
%T 95,112,127,128,129,131,142,171,217,247,293,326,327,328,330,341,370,
%U 446,568,645,767,847,848,849,851,862,891,967,1166,1487,1687,2008,2211
%N Numbers having 5 1's in their base-phi representation.
%H Amiram Eldar, <a href="/A104628/b104628.txt">Table of n, a(n) for n = 1..300</a>
%H Jeffrey Shallit, <a href="https://arxiv.org/abs/2305.02672">Proving Properties of phi-Representations with the Walnut Theorem-Prover</a>, arXiv:2305.02672 [math.NT], 2023.
%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/PhiNumberSystem.html">Phi Number System</a>.
%F There is a 46-state automaton accepting precisely the Zeckendorf representation of members of this sequence. - _Jeffrey Shallit_, May 03 2023
%t q[n_] := Plus @@ RealDigits[n, GoldenRatio, 2*Ceiling[ Log[GoldenRatio, n]] ][[1]] == 5; Select[Range[2000], q] (* _Amiram Eldar_, Jan 20 2022 *)
%Y Cf. A005248, A104626, A104627.
%K nonn,base
%O 1,1
%A _Eric W. Weisstein_, Mar 17 2005
|