Map · 62
statistics
MSC 62 · Statistics
72 declarations (62 theorems, 10 definitions) across 4 files. 0 of the 16 famous theorems listed for this area are in Mathlib (0%).
Files are assigned to areas by a language model reading each file's documentation. Report a file that is in the wrong area.
Subareas1
- 62C Statistical decision theory 72
Famous theorems0 of 16
From the 1000+ theorems project, which classifies each theorem by MSC area.
Files4
Largest first. The code after each file is its assigned subarea.
- Mathlib.Probability.Decision.Risk.Basic
Basic properties of the risk of an estimator
62C · 26
- Mathlib.Probability.Decision.BayesEstimator
Bayes estimator
62C · 18
- Mathlib.Probability.Decision.Risk.Defs
Risk of an estimator
62C · 18
- Mathlib.Probability.Decision.Risk.Countable
Risk in countable spaces
62C · 10