Reference document detailing theorems, proof statuses, and unresolved problems in a numeric system, indicating implications.
Purpose of this document. This is a self-contained reference for external readers. It states all main theorems, their proof status, and all open problems, with a dependency structure that shows what each result requires and what it enables. No derivations are given here; citations point to the working papers where proofs appear. Status labels: [proved] = proved in a programme document; [conditional] = proved under an explicit stated hypothesis; [open] = open, with resolution strategies known or partially known; [conjecture] = conjectured, no proof strategy currently available.
No takes yet. Share an insight, caveat, or question.
Donald G. Palmer (2026) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: