theorem 2.7 The mean improves as $1/\sqrt{N}$
open in the book ·
parts/01-foundations/02-measurement-si-error.tex:122
· p. 12
Rests on
- depends_on definition 2.6 Sample mean and variance ¶
- proves proof ch:02-measurement-si-error@proof-2 ¶
Supports
-
depends_on
theorem 2.10
Weighted mean
¶
- depends_on corollary 11.84 Residuals about a weighted mean; the Birge ratio ¶
Neighborhood
Every logical edge within two steps of this node.
- declared and complete
- partly declared
- a check failed
- not graded
- declared in the source
- inferred from structure
Edges
| type | direction | node | provenance | where |
|---|---|---|---|---|
depends_on |
→ | Sample mean and variance | declared | parts/01-foundations/02-measurement-si-error.tex:125 |
depends_on |
← | Weighted mean | declared | parts/01-foundations/02-measurement-si-error.tex:218 |
proves |
← | ch:02-measurement-si-error@proof-2 | declared | parts/01-foundations/02-measurement-si-error.tex:128 |