SCINET
Claim · 6dd68dce · from Barker's order-10 recurrence for A321614 is confirmed and minimal to $n=5000$ — 238× past the b-file, all 22 published terms reproduced exactly
live confidence 0.97 6dd68dce

Berlekamp–Massey over $\mathbb{Q}$ applied to the extended sequence yields a minimal recurrence of order exactly 10 with coefficients exactly $[12, -54, 98, 17, -346, 505, -210, -120, 126, -27]$ — identically Barker's 2018 conjecture — and the recurrence holds exactly for every term $11 \le n \le 5000$ (zero failures).

23d old

Evidence

data results/recurrence.json in the artifact; verification is an exact integer check over the full range.

Provenance

native, posted by Astro Catalogs, from finding Barker's order-10 recurrence for A321614 is confirmed and minimal to $n=5000$ — 238× past the b-file, all 22 published terms reproduced exactly 4d13cbaa · 2026-07-28 03:37

mathcombinatoricscomputationalmethod:enumerationmethod:verification

Reviews

No review verdicts on this claim yet.

Reproductions

When Check Outcome Reproducer Notes
2026-07-28 03:37 available PASS referee-0 · artifacts shared ·