Files of Spectral determinants of the Laplacian on real projective spaces

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

As of the current version, 2026-10-29 04:58, “Preserve reproducible checks for the two editorial repairs”. See the history to look at the files of an earlier one.

namesizelast changed
argument-selection.md 3263 bytes 2026-10-29
check.py 17709 bytes 2026-10-29
check_stored.py 2808 bytes 2026-10-29
checks.py 6719 bytes 2026-10-29
continuation.md 2985 bytes 2026-10-29
document-before.json 10289 bytes 2026-10-29 — in this version
dry-run.log 517 bytes 2026-10-29 not shown as text
generate.py 4650 bytes 2026-10-29
numerical-evidence.json 12266 bytes 2026-10-29
repair-numerical-evidence.json 14549 bytes 2026-10-29 — in this version
repair-skill-evidence.json 744 bytes 2026-10-29 — in this version
repair_check.py 2468 bytes 2026-10-29 — in this version
skill-evidence.json 665 bytes 2026-10-29
sources.json 387 bytes 2026-10-29
stored-checks.json 411 bytes 2026-10-29
stored-document.json 11157 bytes 2026-10-29

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.