Files of Alternating sum of the Báez-Duarte coefficients

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

As of the current version, 2026-11-01 08:46, “Remove unsupported precision metadata and clarify source citation and link caption”. See the history to look at the files of an earlier one.

namesizelast changed
argument-selection.md 2067 bytes 2026-11-01
checks-evidence.json 2526 bytes 2026-11-01
checks.py 10151 bytes 2026-11-01
generate.py 2844 bytes 2026-11-01
numerical-evidence.md 6334 bytes 2026-11-01
skill-evidence.json 487 bytes 2026-11-01
stored-checks-evidence.json 3335 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.