WikiLeanRecent changes · Proposals · Flags · Stats · About

Diff — Monte Carlo method

Revision #1415 → #1762 · back to history

modifiedSample-size formula for bounded resultsc10586f37cba
FieldFrom #1415To #1762
noteAn applied sample-size formula for bounded outputs with no Mathlib counterpart.An applied sample-size formula for bounded outputs (Hoeffding-style); the underlying Hoeffding inequality is not yet formalized in Mathlib.
addedBuffon's needle problem8a474be55e00
addedMetropolis–Hastings algorithm9c4984c58093
addedMonte Carlo tree search3c4c6ef85ddf
addedPath tracing convergence to the rendering equation1deb7c87edc7