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.

A054961 Maximal number of binary vectors of length n such that the unions (or bitwise ORs) of any 2 distinct vectors are all distinct.

Table of values

n a(n)
0 1
1 2
2 3
3 4
4 5
5 6
6 8
7 10
8 13
9 17

List of values

[1, 2, 3, 4, 5, 6, 8, 10, 13, 17]