Non-Covering Congruence Systems over Fq[x]
Prior state unknown→proved
leading asymptotic determined up to a bounded q-dependent term
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
number-theory / Function-field arithmetic
Non-Covering Congruence Systems over Fq[x]
leading asymptotic determined up to a bounded q-dependent term
10Significance / 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
leading asymptotic determined up to a bounded q-dependent term
leading asymptotic determined up to a bounded q-dependent term
Recorded attempts
Evidence graph
Connected research record
- →leading asymptotic determined up to a bounded q-dependent term
parent of · claim · theorem
- →Non-Covering Congruence Systems over Fq[x]
parent of · event · claim reported