Files of Values of the Kelvin function $\operatorname{kei}_\nu(x)$

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

As of the current version, 2026-10-27 01:14, “Name the Kelvin reference arguments explicitly; numbers and sources unchanged”. See the history to look at the files of an earlier one.

name

size

last changed

audit.json

128 bytes

2026-10-26

balanced-README.txt

1189 bytes

2026-10-27

balanced-checks.json

19391 bytes

2026-10-27

balanced-provenance.json

2714 bytes

2026-10-27

balanced-selection.json

11923 bytes

2026-10-27

balanced-source-research.json

939 bytes

2026-10-27

balanced_checks.py

14289 bytes

2026-10-27

balanced_generate.py

9743 bytes

2026-10-27

check.py

17709 bytes

2026-10-26

check_t509_repair.py

3118 bytes

2026-10-26

checks-evidence.json

15676 bytes

2026-10-26

checks.py

9117 bytes

2026-10-26

2 versions of this file

2026-10-26 15:42	zeta3	9117 bytes	view · what changed
2026-10-26 08:47	zeta3	8292 bytes	view · what changed — first recorded

computed-checks.jsonl

243185 bytes

2026-10-26

not shown as text

dry-run.log

509 bytes

2026-10-26

not shown as text

generate.py

723 bytes

2026-10-27

3 versions of this file

2026-10-27 01:11	zeta3	723 bytes	view · what changed
2026-10-26 15:42	zeta3	300 bytes	view · what changed
2026-10-26 08:43	zeta3	2376 bytes	view · what changed — first recorded

intrinsic_values.py

10669 bytes

2026-10-26

pre-balanced-generator.py

300 bytes

2026-10-27

program-checks.jsonl

377 bytes

2026-10-26

not shown as text

repair_checks.json

3122 bytes

2026-10-26

selection.json

2937 bytes

2026-10-26

selection.md

989 bytes

2026-10-26

stored-checks.jsonl

243183 bytes

2026-10-26

not shown as text

validation-repair.md

3352 bytes

2026-10-26

validation.md

2231 bytes

2026-10-26

verify.log

70 bytes

2026-10-26

not shown as text

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.