The Erdos-Lovasz Cover Number Problem
Prior state unknown→proved
an improved lower bound; the true order of g(r) remains open
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
combinatorics / Extremal combinatorics
The Erdos-Lovasz Cover Number Problem
an improved lower bound; the true order of g(r) remains open
20Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts
Temporal state
Current frontier
No reconciled state yet.
Append-only history
Frontier timeline
Research memory
Claims and attempts
Scoped claims
an improved lower bound; the true order of g(r) remains open
an improved lower bound; the true order of g(r) remains open
Recorded attempts
Evidence graph
Connected research record
- →The Erdos-Lovasz Cover Number Problem
parent of · event · claim reported
- →an improved lower bound; the true order of g(r) remains open
parent of · claim · theorem