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

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

As of the current version, 2026-10-28 20:48, “Keep the existing DLMF citation and Similar tables link because Definition hyperlinks fail the audit”. See the history to look at the files of an earlier one.

namesizelast changed
argument-selection.md 2973 bytes 2026-10-28
certificate.md 3591 bytes 2026-10-28
checks-evidence.json 305685 bytes 2026-10-28
checks.py 6660 bytes 2026-10-28
dry-run.log 499 bytes 2026-10-28 not shown as text
generate.py 5271 bytes 2026-10-28
repair-checks.py 2056 bytes 2026-10-28
repair-evidence.json 35997 bytes 2026-10-28
repair-skill-evidence.json 676 bytes 2026-10-28
skill-evidence.json 498 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.