June 5, 2026
OEIS Contributions
Integer sequences I have authored or extended in the On-Line Encyclopedia of Integer Sequences, across Ramsey theory, extremal graph theory, knot theory, and algebraic graph theory. Computed by SAT solving and exact enumeration, verified against …