General Position for Planar Line Arrangements and
Prior state unknown→proved
improved bounds; the exact Hadwiger-Debrunner numbers remain open
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
geometry-topology / Discrete geometry
General Position for Planar Line Arrangements and
improved bounds; the exact Hadwiger-Debrunner numbers remain open
15Significance / 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
improved bounds; the exact Hadwiger-Debrunner numbers remain open
improved bounds; the exact Hadwiger-Debrunner numbers remain open
Recorded attempts
Evidence graph
Connected research record
- →improved bounds; the exact Hadwiger-Debrunner numbers remain open
parent of · claim · theorem
- →General Position for Planar Line Arrangements and
parent of · event · claim reported