Files of Probability that $n$ uniform random points of a convex body are in convex position

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

As of the current version, 2026-10-24 21:41, “Attach the independent repair checks and finding-by-finding result”. See the history to look at the files of an earlier one.

namesizelast changed
T264-document.json 5700 bytes 2026-10-24 — in this version
T468-checks-before.json 4193 bytes 2026-10-24 — in this version
T468-document-after.json 10421 bytes 2026-10-24 — in this version
T468-repaired.md 828 bytes 2026-10-24 — in this version
audit.json 550 bytes 2026-10-24
check.py 17709 bytes 2026-10-24
checks.py 12834 bytes 2026-10-24
dry-run.log 516 bytes 2026-10-24 not shown as text
evidence-after-fill.json 18418 bytes 2026-10-24
evidence-before-fill.json 7047 bytes 2026-10-24
generate.py 5065 bytes 2026-10-24
handoff.md 7539 bytes 2026-10-24
numerical-values.json 3188 bytes 2026-10-24
repair-evidence.md 5399 bytes 2026-10-24 — in this version
repair_checks.py 5306 bytes 2026-10-24 — in this version

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.