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.

A034786 Number of linearly ordered Girard monoids of size n; number of t-norms on an n-chain inducing an involutive residual negator.

Table of values

n a(n)
1 1
2 1
3 1
4 2
5 3
6 7
7 12
8 31
9 59
10 161
11 329
12 944
13 2067
14 6148
15 14558
16 44483
17 116372

List of values

[1, 1, 1, 2, 3, 7, 12, 31, 59, 161, 329, 944, 2067, 6148, 14558, 44483, 116372]