Maximum Entropy of Sums of Independent Ternary Random Variables
Prior state unknown→proved
VibeMathed recorded: Maximum Entropy of Sums of Independent Ternary Random Variables. Consult the linked registry entry for the original report and scope.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review