WikiLeanRecent changes · Proposals · Flags · Stats · About

Diff — Statistical hypothesis test

Revision #1591 → #1803 · back to history

modifiedStatistical hypothesis test9b88450c6b8e
FieldFrom #1591To #1803
mathlib.match_kind—generalization
addedUniformly most powerful test (UMP)32533fba64ba
addedTest statistic16108747b65c
modifiedNeyman-Pearson decision ruleda71a36b2a90
FieldFrom #1591To #1803
mathlib.match_kind—generalization
modifiedNeyman–Pearson lemmaeb7488cb0834
FieldFrom #1591To #1803
mathlib.match_kind—generalization
addedLikelihood ratio8eca45c66486
addedBayes factorb1c64f0bcab3