Revision #1603 → #1806 · back to history
addedStudent's t-distribution7b589cf0d840
addedWelch's t-test (informal mention)4b590a9c9125
addedMatched-pairs sampleb2d79c2a0aba
addedSample variance follows scaled chi-squared93b80f55dd69
addedCLT approximation of sample means6eb98d54ad24
addedLaw of large numbers for sample variance093a76deb97a
addedSimple linear regression model82f2dde66234
addedPearson correlation coefficientecc253ff3757
addedOrthogonal-matrix construction yields independent normal/chi-squared componentscfe600baded9
addedt-test asymptotically approaches z-test008ab756d59b
modifiedHotelling's t-squared statistic039cb5c359b9
| Field | From #1603 | To #1806 |
|---|
| note | No occurrence of Hotelling's T-squared statistic exists in Mathlib. | Loogle finds no Hotelling-named declarations in Mathlib. |
modifiedTwo-sample Hotelling's t-squaredd32624662f30
| Field | From #1603 | To #1806 |
|---|
| anchor.id | — | d32624662f30 |
| anchor.provenance | — | ai |
| anchor.snippet | For a two-sample multivariate test, the hypothesis is that the mean vectors | The two-sample Hotelling's T-squared test is not formalized in Mathlib. |