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.

A369173 Irregular triangle read by rows: row n lists all of the distinct derivable strings in the MIU formal system that are n characters long.

Table of values

n a(n)
2 31
3 301
4 310
5 311
6 3001
7 3010
8 3011
9 3100
10 3101
11 3110
12 30001
13 30010
14 30011
15 30100
16 30101
17 30110
18 31000
19 31001
20 31010
21 31100
22 31111
23 300001
24 300010
25 300011
26 300100
27 300101
28 300110
29 301000
30 301001
31 301010
32 301100
33 301111
34 310000
35 310001
36 310010
37 310100
38 310111
39 311000
40 311011
41 311101
42 311110
43 311111

List of values

[31, 301, 310, 311, 3001, 3010, 3011, 3100, 3101, 3110, 30001, 30010, 30011, 30100, 30101, 30110, 31000, 31001, 31010, 31100, 31111, 300001, 300010, 300011, 300100, 300101, 300110, 301000, 301001, 301010, 301100, 301111, 310000, 310001, 310010, 310100, 310111, 311000, 311011, 311101, 311110, 311111]

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

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