Update, October 26, 2026: The count is now 17 published sequences (11 authored and six extended), including A397641 and A397657. The A397075 identity and A397074 comment correction are approved. Three contributions await review: A401195’s cyclic-sandpile counts, A395521(9)=76953, and the isolated queens value A352241(63)=49 with its finite proof. The current portfolio has the status and evidence. The title and count below are from July.
Over the past few months I have had fifteen integer sequences published in the On-Line Encyclopedia of Integer Sequences: nine new sequences I authored, and six classical sequences I extended with new terms.
They have almost nothing in common by subject. They range over Ramsey theory, extremal graph theory, knot theory, algebraic graph theory, additive combinatorics, Boolean function complexity, and combinatorial game theory. The spread is deliberate. What they share is method: SAT solving and exact enumeration, with proofs where I have them. Some push a published frontier further. Others collect counts that were already known into new entries. I credit prior work, and say what each computation covers, with each entry.
The method also has a direction. The computed values are where I go looking for structure. One of them, the distinct-variable Rado numbers for x + y = nz (A394445), began as a column of computed integers and ended as a proved theorem with a closed form and a 500-term b-file. The rest are trailheads: some already followed, others left marked for whoever arrives next.
The full portfolio, with a table of every sequence, its domain, and the OEIS editors who reviewed it, is at /research/oeis-contributions/. The portfolio repository has the index, data, and reproduction scripts. They do not all prove the same thing: a fresh enumeration, a recalculation on a stored census, and a solver check establish different things. The portfolio page says which is which, and keeps published work apart from pending submissions and unsubmitted local results.
The OEIS has been a shared ledger of integer sequences since 1964. Adding a term is a small, permanent contribution to a commons: a number that was unknown is now known, checked, and citable by anyone who needs it.
Discussion