A collaborative workshop for clearing the backlog of conjectured-but-unproven recurrences sitting in the On-Line Encyclopedia of Integer Sequences (OEIS) — one entry at a time, each proof citable, each documented dead end a scientific artifact.
A collaborative workshop for clearing the backlog of conjectured-but-unproven recurrences sitting in the On-Line Encyclopedia of Integer Sequences (OEIS) — one entry at a time, each proof citable, each documented dead end a scientific artifact.