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.

A369411 Irregular triangle read by rows: row n lists the number of symbols of a "normal" proof (see comments) for each of the distinct derivable strings (theorems) in the MIU formal system that are n characters long.

Table of values

n a(n)
2 2
3 13
4 13
5 5
6 94
7 94
8 47
9 94
10 47
11 47
12 75
13 75
14 31
15 75
16 31
17 31
18 75
19 31
20 31
21 31
22 10
23 120
24 120
25 165
26 120
27 165
28 165
29 120
30 165
31 165
32 165
33 90
34 120
35 165
36 165
37 165
38 90
39 165
40 90
41 90
42 90
43 43
44 91
45 91
46 139
47 91
48 139
49 139
50 91
51 139
52 139
53 139
54 70
55 91
56 139
57 139
58 139
59 70
60 139
61 70

List of values

[2, 13, 13, 5, 94, 94, 47, 94, 47, 47, 75, 75, 31, 75, 31, 31, 75, 31, 31, 31, 10, 120, 120, 165, 120, 165, 165, 120, 165, 165, 165, 90, 120, 165, 165, 165, 90, 165, 90, 90, 90, 43, 91, 91, 139, 91, 139, 139, 91, 139, 139, 139, 70, 91, 139, 139, 139, 70, 139, 70]

Started in 1964 by Neil J. A. Sloane | Maintained by The OEIS Foundation Inc.

Content is available under The OEIS End-User License Agreement.