cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A194115 Sum{floor(j*sqrt(12)) : 1<=j<=n}; n-th partial sum of Beatty sequence for sqrt(12).

This page as a plain text file.
%I A194115 #11 Feb 27 2023 08:06:33
%S A194115 3,9,19,32,49,69,93,120,151,185,223,264,309,357,408,463,521,583,648,
%T A194115 717,789,865,944,1027,1113,1203,1296,1392,1492,1595,1702,1812,1926,
%U A194115 2043,2164,2288,2416,2547,2682,2820,2962,3107,3255,3407,3562,3721
%N A194115 Sum{floor(j*sqrt(12)) : 1<=j<=n}; n-th partial sum of Beatty sequence for sqrt(12).
%t A194115 c[n_] := Sum[Floor[j*Sqrt[12]], {j, 1, n}];
%t A194115 c = Table[c[n], {n, 1, 90}]
%Y A194115 Cf. A194028 (Beatty sequence for sqrt(12)).
%K A194115 nonn
%O A194115 1,1
%A A194115 _Clark Kimberling_, Aug 16 2011