Skip to content

Commit 82c6723

Browse files
authored
Merge pull request #92 from StatProofBook/master
update to master
2 parents 057f347 + 2af4d30 commit 82c6723

4 files changed

Lines changed: 24 additions & 1 deletion

File tree

I/PbA.md

Lines changed: 7 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ title: "Proof by Author"
88

99
- [Covariance matrix of the multinomial distribution](/P/mult-cov)
1010

11-
### JoramSoch (315 proofs)
11+
### JoramSoch (321 proofs)
1212

1313
- [Accuracy and complexity for the univariate Gaussian](/P/ug-anc)
1414
- [Accuracy and complexity for the univariate Gaussian with known variance](/P/ugkv-anc)
@@ -44,6 +44,7 @@ title: "Proof by Author"
4444
- [Corrected Akaike information criterion in terms of maximum log-likelihood](/P/aicc-mll)
4545
- [Correlation always falls between -1 and +1](/P/corr-range)
4646
- [Correlation coefficient in terms of standard scores](/P/corr-z)
47+
- [Covariance matrix of the categorical distribution](/P/cat-cov)
4748
- [Covariance of independent random variables](/P/cov-ind)
4849
- [Cross-validated log Bayes factor for the univariate Gaussian with known variance](/P/ugkv-cvlbf)
4950
- [Cross-validated log model evidence for the univariate Gaussian with known variance](/P/ugkv-cvlme)
@@ -77,6 +78,10 @@ title: "Proof by Author"
7778
- [Distribution of the transformed general linear model](/P/tglm-dist)
7879
- [Distributional transformation using cumulative distribution function](/P/cdf-dt)
7980
- [Effects of mean-centering on parameter estimates for simple linear regression](/P/slr-meancent)
81+
- [Entropy of the Bernoulli distribution](/P/bern-ent)
82+
- [Entropy of the binomial distribution](/P/bin-ent)
83+
- [Entropy of the categorical distribution](/P/cat-ent)
84+
- [Entropy of the multinomial distribution](/P/mult-ent)
8085
- [Equivalence of matrix-normal distribution and multivariate normal distribution](/P/matn-mvn)
8186
- [Equivalence of parameter estimates from the transformed general linear model](/P/tglm-para)
8287
- [Exceedance probabilities for the Dirichlet distribution](/P/dir-ep)
@@ -236,6 +241,7 @@ title: "Proof by Author"
236241
- [Probability density function of the gamma distribution](/P/gam-pdf)
237242
- [Probability density function of the matrix-normal distribution](/P/matn-pdf)
238243
- [Probability density function of the multivariate normal distribution](/P/mvn-pdf)
244+
- [Probability density function of the multivariate t-distribution](/P/mvt-pdf)
239245
- [Probability density function of the normal distribution](/P/norm-pdf)
240246
- [Probability density function of the normal-gamma distribution](/P/ng-pdf)
241247
- [Probability density function of the normal-Wishart distribution](/P/nw-pdf)

I/PbN.md

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -338,3 +338,9 @@ title: "Proof by Number"
338338
| P330 | mvn-matn | [Multivariate normal distribution is a special case of matrix-normal distribution](/P/mvn-matn) | JoramSoch | 2022-07-31 |
339339
| P331 | norm-mvn | [Normal distribution is a special case of multivariate normal distribution](/P/norm-mvn) | JoramSoch | 2022-08-19 |
340340
| P332 | t-mvt | [t-distribution is a special case of multivariate t-distribution](/P/t-mvt) | JoramSoch | 2022-08-25 |
341+
| P333 | mvt-pdf | [Probability density function of the multivariate t-distribution](/P/mvt-pdf) | JoramSoch | 2022-09-02 |
342+
| P334 | bern-ent | [Entropy of the Bernoulli distribution](/P/bern-ent) | JoramSoch | 2022-09-02 |
343+
| P335 | bin-ent | [Entropy of the binomial distribution](/P/bin-ent) | JoramSoch | 2022-09-02 |
344+
| P336 | cat-ent | [Entropy of the categorical distribution](/P/cat-ent) | JoramSoch | 2022-09-09 |
345+
| P337 | mult-ent | [Entropy of the multinomial distribution](/P/mult-ent) | JoramSoch | 2022-09-09 |
346+
| P338 | cat-cov | [Covariance matrix of the categorical distribution](/P/cat-cov) | JoramSoch | 2022-09-09 |

I/PbT.md

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -47,6 +47,7 @@ title: "Proof by Topic"
4747
- [Corrected Akaike information criterion in terms of maximum log-likelihood](/P/aicc-mll)
4848
- [Correlation always falls between -1 and +1](/P/corr-range)
4949
- [Correlation coefficient in terms of standard scores](/P/corr-z)
50+
- [Covariance matrix of the categorical distribution](/P/cat-cov)
5051
- [Covariance matrix of the multinomial distribution](/P/mult-cov)
5152
- [Covariance of independent random variables](/P/cov-ind)
5253
- [Cross-validated log Bayes factor for the univariate Gaussian with known variance](/P/ugkv-cvlbf)
@@ -89,6 +90,10 @@ title: "Proof by Topic"
8990

9091
- [Effects of mean-centering on parameter estimates for simple linear regression](/P/slr-meancent)
9192
- [Encompassing Prior Method for computing Bayes Factors](/P/bf-ep)
93+
- [Entropy of the Bernoulli distribution](/P/bern-ent)
94+
- [Entropy of the binomial distribution](/P/bin-ent)
95+
- [Entropy of the categorical distribution](/P/cat-ent)
96+
- [Entropy of the multinomial distribution](/P/mult-ent)
9297
- [Equivalence of matrix-normal distribution and multivariate normal distribution](/P/matn-mvn)
9398
- [Equivalence of parameter estimates from the transformed general linear model](/P/tglm-para)
9499
- [Exceedance probabilities for the Dirichlet distribution](/P/dir-ep)
@@ -285,6 +290,7 @@ title: "Proof by Topic"
285290
- [Probability density function of the log-normal distribution](/P/lognorm-pdf)
286291
- [Probability density function of the matrix-normal distribution](/P/matn-pdf)
287292
- [Probability density function of the multivariate normal distribution](/P/mvn-pdf)
293+
- [Probability density function of the multivariate t-distribution](/P/mvt-pdf)
288294
- [Probability density function of the normal distribution](/P/norm-pdf)
289295
- [Probability density function of the normal-gamma distribution](/P/ng-pdf)
290296
- [Probability density function of the normal-Wishart distribution](/P/nw-pdf)

I/PwS.md

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@ title: "Proofs without Source"
99
- [Bayesian information criterion for multiple linear regression](/P/mlr-bic)
1010
- [Chi-squared distribution is a special case of gamma distribution](/P/chi2-gam)
1111
- [Conditional distributions of the normal-gamma distribution](/P/ng-cond)
12+
- [Covariance matrix of the categorical distribution](/P/cat-cov)
1213
- [Cross-validated log Bayes factor for the univariate Gaussian with known variance](/P/ugkv-cvlbf)
1314
- [Cross-validated log model evidence for the univariate Gaussian with known variance](/P/ugkv-cvlme)
1415
- [Cumulative distribution function in terms of probability density function of a continuous random variable](/P/cdf-pdf)
@@ -25,6 +26,9 @@ title: "Proofs without Source"
2526
- [Deviance information criterion for multiple linear regression](/P/blr-dic)
2627
- [Differential entropy of the normal-gamma distribution](/P/ng-dent)
2728
- [Effects of mean-centering on parameter estimates for simple linear regression](/P/slr-meancent)
29+
- [Entropy of the binomial distribution](/P/bin-ent)
30+
- [Entropy of the categorical distribution](/P/cat-ent)
31+
- [Entropy of the multinomial distribution](/P/mult-ent)
2832
- [Expectation of the cross-validated log Bayes factor for the univariate Gaussian with known variance](/P/ugkv-cvlbfmean)
2933
- [Expectation of the log Bayes factor for the univariate Gaussian with known variance](/P/ugkv-lbfmean)
3034
- [Exponential distribution is a special case of gamma distribution](/P/exp-gam)
@@ -78,6 +82,7 @@ title: "Proofs without Source"
7882
- [Probability density function of the gamma distribution](/P/gam-pdf)
7983
- [Probability density function of the matrix-normal distribution](/P/matn-pdf)
8084
- [Probability density function of the multivariate normal distribution](/P/mvn-pdf)
85+
- [Probability density function of the multivariate t-distribution](/P/mvt-pdf)
8186
- [Probability density function of the normal distribution](/P/norm-pdf)
8287
- [Probability density function of the normal-Wishart distribution](/P/nw-pdf)
8388
- [Probability density function of the Wald distribution](/P/wald-pdf)

0 commit comments

Comments
 (0)