login
Denominators of the redundant Stern-Brocot structure; numerators=A152975.
3

%I #2 Mar 30 2012 18:51:00

%S 1,2,3,1,3,6,3,5,2,3,1,4,9,5,10,5,9,4,7,3,6,3,5,2,3,1,5,12,7,15,8,15,

%T 7,14,7,15,8,15,7,12,5,9,4,9,5,10,5,9,4,7,3,6,3,5,2,3,1,6,15,9,20,11,

%U 21,10,21,11,24,13,25,12,21,9,18,9,21,12,25,13,24,11,21,10,21,11,20,9,15,6

%N Denominators of the redundant Stern-Brocot structure; numerators=A152975.

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

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

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

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

%H Milad Niqui, <a href="http://www.cs.ru.nl/~milad/proefschrift/thesis.pdf">Formalising Exact Arithmetic</a>

%K frac,nonn,tabf

%O 1,2

%A _Reinhard Zumkeller_, Dec 22 2008