login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A104627 Numbers having 4 1's in their base-phi representation. 5
9, 10, 12, 13, 14, 16, 17, 20, 21, 25, 36, 49, 50, 54, 65, 94, 125, 126, 130, 141, 170, 246, 324, 325, 329, 340, 369, 445, 644, 845, 846, 850, 861, 890, 966, 1165, 1686, 2209, 2210, 2214, 2225, 2254, 2330, 2529, 3050, 4414 (list; graph; refs; listen; history; text; internal format)
OFFSET
1,1
LINKS
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 24-state automaton accepting exactly 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]] == 4; Select[Range[4500], q] (* Amiram Eldar, Jan 20 2022 *)
CROSSREFS
Sequence in context: A136835 A031166 A202706 * A188057 A119956 A059102
KEYWORD
nonn,base
AUTHOR
Eric W. Weisstein, Mar 17 2005
STATUS
approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recents
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified March 28 18:04 EDT 2024. Contains 371254 sequences. (Running on oeis4.)