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

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

As of the current version, 2026-10-28 20:22, “Record verified caption repair, unchanged numerical certificates and deferred site defects”. See the history to look at the files of an earlier one.

namesizelast changed
argument-selection.md 3228 bytes 2026-10-28
audit.json 130 bytes 2026-10-28
certificate.md 3482 bytes 2026-10-28
checks-evidence.json 298878 bytes 2026-10-28
checks.py 6625 bytes 2026-10-28
2 versions of this file
2026-10-28 20:04 zeta3 6625 bytes view · what changed
2026-10-28 20:01 zeta3 6461 bytes view · what changed — first recorded
dry-run.txt 499 bytes 2026-10-28
generate.py 5056 bytes 2026-10-28
repair-evidence-20261028T201506Z.json 5721 bytes 2026-10-28 — in this version
skill-evidence.json 489 bytes 2026-10-28
stored-checks-evidence.json 298878 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.