Equivalence of OEIS A007729 and A174868


الملخص بالإنكليزية

We verify the conjecture that the sixth binary partition function is equal (aside from the initial zero term) to the partial sums of the Stern-Brocot sequence.

تحميل البحث