Files of Positive zeros of the Kelvin function $\operatorname{ker}_0$

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

As of the current version, 2026-10-28 19:40, “Preserve reproducible repair checks and audit conflict without changing generator sources”. See the history to look at the files of an earlier one.

namesizelast changed
argument-selection.md 2515 bytes 2026-10-28
checks.py 7107 bytes 2026-10-28
count-certificate.json 83748 bytes 2026-10-28
generate.py 5275 bytes 2026-10-28
numerical-evidence.json 11766 bytes 2026-10-28
repair-checks.py 1427 bytes 2026-10-28 — in this version
repair-handoff.md 3650 bytes 2026-10-28 — in this version
repair-numerical-evidence.json 12794 bytes 2026-10-28 — in this version
root-counting.md 3216 bytes 2026-10-28
site-renderer-observations.md 1717 bytes 2026-10-28 — in this version
skill-manifest.json 526 bytes 2026-10-28

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.