Bertrand's postulate.

Julian Biendarra Manuel Eberl

Published in: Arch. Formal Proofs (2017)

Keyphrases

belief change
belief revision
nash equilibrium
probability distribution
decision making
np hard
decision makers
special case
edge detection
software development
sufficient conditions
intelligent agents
resource allocation