Kotzig's Perfect 1-Factorisation Conjecture, Asymptotically
Prior state unknown→proved
asymptotic form only; Kotzig's conjecture itself remains far from solved
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
combinatorics / Design theory
Kotzig's Perfect 1-Factorisation Conjecture, Asymptotically
asymptotic form only; Kotzig's conjecture itself remains far from solved
30Significance / 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
asymptotic form only; Kotzig's conjecture itself remains far from solved
asymptotic form only; Kotzig's conjecture itself remains far from solved
Recorded attempts
Evidence graph
Connected research record
- →asymptotic form only; Kotzig's conjecture itself remains far from solved
parent of · claim · theorem
- →Kotzig's Perfect 1-Factorisation Conjecture, Asymptotically
parent of · event · claim reported