Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Verification of the Ecklund chain
final_receipt: Retains the receipt confirming that only the twelve authorized substitutions changed the pages after the mathematical review.
full_proof_review: Retains the review of the three lemmas, the main theorem chain with its threshold certificate, and the exact Problem 384 transfer.
The full-proof review passes the five complete components relative to Rosser--Schoenfeld (1)--(5) and Faulkner (F). The final receipt confirms the exact bytes after the twelve authorized substitutions.
Linked from (1)
Graph