Formal Proof¶
Hales, T. C. (2008). Formal Proof. Notices of the American Mathematical Society, 55(11), 1370-1380.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Mechanisms¶
- Peer Proof Review
- The historical shadow behind such reviews is real: some famous indirect proofs have needed years of scrutiny before acceptance.
This sourceDocuments that the computer-assisted Kepler proof remained under referee scrutiny for years before it was accepted for publication.
- The historical shadow behind such reviews is real: some famous indirect proofs have needed years of scrutiny before acceptance.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:71d3fdd105b8 · see in the full table