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.

A367540 Number of discrete implications I : L_n^2 -> L_n defined on the finite chain L_n = {0,1,...n} which satisfy the consequent boundary, i.e., I(x,y) >= y for all x,y in L_n.

Table of values

n a(n)
1 1
2 8
3 205
4 17108
5 4693632
6 4253751084
7 12768573248145
8 127147160484338304
9 4204352991963054866432

List of values

[1, 8, 205, 17108, 4693632, 4253751084, 12768573248145, 127147160484338304, 4204352991963054866432]

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

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