1,2

a(2^n-n+2*k) = A047679(2^(n-1)+k) for 0<=k<2^(n-1);

a(2^n-n+2*k-1) = A047679(2^(n-1)+k-1) + A047679(2^(n-1)+k) for 0<k<2^(n-1);

A060188(k+2) = Sum(a(i): 2^k <= i < 2^(k+1)).

Milad Niqui, Formalising Exact Arithmetic, Ph.D. thesis, Radboud Universiteit Nijmegen, IPA Dissertation Series 2004-10, 2.6, p.65f .

Table of n, a(n) for n=1..88.

Milad Niqui, Formalising Exact Arithmetic

Sequence in context: A283878 A086404 A192852 * A153861 A118981 A117938

Adjacent sequences: A152973 A152974 A152975 * A152977 A152978 A152979

frac,nonn,tabf

Reinhard Zumkeller, Dec 22 2008

approved