遇见数据集

CONWEB / Prime Prison: A Closed-Bridge Finite-Certificate Evidence Ledger for Number Theory

收藏
Zenodo2026-07-04 更新2026-08-02 收录
官方服务:

资源简介:

Submit-ready external-review draft for the CONWEB / Prime Prison closed-bridge evidence archive. The record includes conjecture-side route ledgers, finite certificates, theorem ledgers, Goldbach mirror certificates, Goldbach wall evidence, Prime Prison route evidence, Collatz descent evidence, transfer-score matrices, Sage files, Lean files, Isabelle files, reproducibility logs, and the HELIXNID / V-Helix Closed-Bridge External Review Ledger. The archive separates data, code, logs, replay materials, score tables, ledgers, proof-check files, and appendix files. Claims in the review ledger are connected to archived files, replay materials, ledgers, tests, grids, scores, or Zenodo evidence items.

提供机构:
Zenodo
创建时间:
2026-07-04
二维码
社区交流群
二维码
科研交流群
商业服务