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

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

As of the current version, 2026-10-28 18:59, “Preserve original definition pending alignment of first-mention links with audit”. See the history to look at the files of an earlier one.

namesizelast changed
argument-selection.md 2371 bytes 2026-10-28
checks.py 7183 bytes 2026-10-28
generate.py 5156 bytes 2026-10-28
2 versions of this file
2026-10-28 18:40 zeta3 5156 bytes view · what changed
2026-10-28 18:39 zeta3 5104 bytes view · what changed — first recorded
numerical-evidence.json 18798 bytes 2026-10-28
repair-evidence.json 3773 bytes 2026-10-28 — in this version
repair-numerical-results.json 17040 bytes 2026-10-28 — in this version
repair_checks.py 1991 bytes 2026-10-28 — in this version
root-counting.md 2944 bytes 2026-10-28
skill-evidence.json 520 bytes 2026-10-28
source-notes.md 2412 bytes 2026-10-28
stored-verification.json 16700 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.