Amdeberhan-Medina-Moll Arctangent Sum Conjecture
Prior state unknown→proved
density-one set of n; the conjecture itself remains open
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
number-theory / Number theory
density-one set of n; the conjecture itself remains open
Temporal state
No reconciled state yet.
Append-only history
density-one set of n; the conjecture itself remains open
Research memory
density-one set of n; the conjecture itself remains open
density-one set of n; the conjecture itself remains open
Evidence graph
parent of · event · claim reported
parent of · claim · theorem