Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Evidence
The checker beside this page certifies the finite
numerical claims documented on
the numerical certificate page,
which proves the enclosure and sieve algorithms and states the command,
expected runtime and failure behavior. It names the source PDF by path in its
certificate and does not read it.
Dependencies are the standard library and the root tools package of the
repository environment; every obligation is recorded through the shared
Checker, and any failure exits nonzero, including under python -O.
Graph