Files of Minimum point of the Ellenberg–Gijswijt bound

back to table · edit · history · where entries came from · files

As of the current version, 2026-11-01 17:38, “Remove unsupported precision metadata and clarify table links”. See the history to look at the files of an earlier one.

namesizelast changed
argument-selection.md 3893 bytes 2026-11-01
audit-explanations.md 1691 bytes 2026-11-01
audit.json 597 bytes 2026-11-01
checks.py 9459 bytes 2026-11-01
generate.py 4074 bytes 2026-11-01
numerical-evidence.json 50929 bytes 2026-11-01
skill-manifest.json 526 bytes 2026-11-01
source-evidence.md 3685 bytes 2026-11-01
stored-check-evidence.json 50930 bytes 2026-11-01

Download the table and its files together — as of this version, so the code in it is the code that produced the numbers in it.

These are recorded, not executed. Several of them take hours or days to run, and nothing on this site runs them.