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.

A194102 a(n) = Sum_{j=1..n} floor(j*sqrt(2)); n-th partial sum of Beatty sequence for sqrt(2), A001951.

Table of values

n a(n)
1 1
2 3
3 7
4 12
5 19
6 27
7 36
8 47
9 59
10 73
11 88
12 104
13 122
14 141
15 162
16 184
17 208
18 233
19 259
20 287
21 316
22 347
23 379
24 412
25 447
26 483
27 521
28 560
29 601
30 643
31 686
32 731
33 777
34 825
35 874
36 924
37 976
38 1029
39 1084
40 1140
41 1197
42 1256
43 1316
44 1378
45 1441
46 1506
47 1572
48 1639
49 1708
50 1778

List of values

[1, 3, 7, 12, 19, 27, 36, 47, 59, 73, 88, 104, 122, 141, 162, 184, 208, 233, 259, 287, 316, 347, 379, 412, 447, 483, 521, 560, 601, 643, 686, 731, 777, 825, 874, 924, 976, 1029, 1084, 1140, 1197, 1256, 1316, 1378, 1441, 1506, 1572, 1639, 1708, 1778]