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.

A194140 a(n) = Sum_{j=1..n} floor(j*(1+sqrt(3))); n-th partial sum of Beatty sequence for 1+sqrt(3).

Table of values

n a(n)
1 2
2 7
3 15
4 25
5 38
6 54
7 73
8 94
9 118
10 145
11 175
12 207
13 242
14 280
15 320
16 363
17 409
18 458
19 509
20 563
21 620
22 680
23 742
24 807
25 875
26 946
27 1019
28 1095
29 1174
30 1255
31 1339
32 1426
33 1516
34 1608
35 1703
36 1801
37 1902
38 2005
39 2111
40 2220
41 2332
42 2446
43 2563
44 2683
45 2805
46 2930
47 3058

List of values

[2, 7, 15, 25, 38, 54, 73, 94, 118, 145, 175, 207, 242, 280, 320, 363, 409, 458, 509, 563, 620, 680, 742, 807, 875, 946, 1019, 1095, 1174, 1255, 1339, 1426, 1516, 1608, 1703, 1801, 1902, 2005, 2111, 2220, 2332, 2446, 2563, 2683, 2805, 2930, 3058]