updated index pages

The index pages were updated with the recently added proofs/definitions.

Author: JoramSoch

I/PbA.md

@@ -8,7 +8,7 @@ title: "Proof by Author"
 
 - [Covariance matrix of the multinomial distribution](/P/mult-cov)
 
-### JoramSoch (321 proofs)
+### JoramSoch (326 proofs)
 
 - [Accuracy and complexity for the univariate Gaussian](/P/ug-anc)
 - [Accuracy and complexity for the univariate Gaussian with known variance](/P/ugkv-anc)
@@ -44,7 +44,9 @@ title: "Proof by Author"
 - [Corrected Akaike information criterion in terms of maximum log-likelihood](/P/aicc-mll)
 - [Correlation always falls between -1 and +1](/P/corr-range)
 - [Correlation coefficient in terms of standard scores](/P/corr-z)
+- [Covariance matrices of the matrix-normal distribution](/P/matn-cov)
 - [Covariance matrix of the categorical distribution](/P/cat-cov)
+- [Covariance matrix of the multivariate normal distribution](/P/mvn-cov)
 - [Covariance of independent random variables](/P/cov-ind)
 - [Cross-validated log Bayes factor for the univariate Gaussian with known variance](/P/ugkv-cvlbf)
 - [Cross-validated log model evidence for the univariate Gaussian with known variance](/P/ugkv-cvlme)
@@ -140,6 +142,7 @@ title: "Proof by Author"
 - [Log sum inequality](/P/logsum-ineq)
 - [Log-odds and probability in logistic regression](/P/logreg-lonp)
 - [Logarithmic expectation of the gamma distribution](/P/gam-logmean)
+- [Marginal distributions for the matrix-normal distribution](/P/matn-marg)
 - [Marginal distributions of the multivariate normal distribution](/P/mvn-marg)
 - [Marginal distributions of the normal-gamma distribution](/P/ng-marg)
 - [Marginal likelihood is a definite integral of joint likelihood](/P/ml-jl)
@@ -162,7 +165,9 @@ title: "Proof by Author"
 - [Mean of the continuous uniform distribution](/P/cuni-mean)
 - [Mean of the exponential distribution](/P/exp-mean)
 - [Mean of the gamma distribution](/P/gam-mean)
+- [Mean of the matrix-normal distribution](/P/matn-mean)
 - [Mean of the multinomial distribution](/P/mult-mean)
+- [Mean of the multivariate normal distribution](/P/mvn-mean)
 - [Mean of the normal distribution](/P/norm-mean)
 - [Mean of the normal-gamma distribution](/P/ng-mean)
 - [Mean of the normal-Wishart distribution](/P/nw-mean)
@@ -279,7 +284,7 @@ title: "Proof by Author"
 - [Relation of continuous mutual information to joint and conditional differential entropy](/P/cmi-jcde)
 - [Relation of continuous mutual information to marginal and conditional differential entropy](/P/cmi-mcde)
 - [Relation of continuous mutual information to marginal and joint differential entropy](/P/cmi-mjde)
-- [Relation of Kullback-Leibler divergence to entropy](/P/kl-ent)
+- [Relation of discrete Kullback-Leibler divergence to Shannon entropy](/P/kl-ent)
 - [Relation of mutual information to joint and conditional entropy](/P/dmi-jce)
 - [Relation of mutual information to marginal and conditional entropy](/P/dmi-mce)
 - [Relation of mutual information to marginal and joint entropy](/P/dmi-mje)

I/PbN.md

@@ -119,7 +119,7 @@ title: "Proof by Number"
 | P110 | gam-logmean | [Logarithmic expectation of the gamma distribution](/P/gam-logmean) | JoramSoch | 2020-05-25 |
 | P111 | norm-snorm | [Relationship between normal distribution and standard normal distribution](/P/norm-snorm) | JoramSoch | 2020-05-26 |
 | P112 | gam-sgam | [Relationship between gamma distribution and standard gamma distribution](/P/gam-sgam) | JoramSoch | 2020-05-26 |
-| P113 | kl-ent | [Relation of Kullback-Leibler divergence to entropy](/P/kl-ent) | JoramSoch | 2020-05-27 |
+| P113 | kl-ent | [Relation of discrete Kullback-Leibler divergence to Shannon entropy](/P/kl-ent) | JoramSoch | 2020-05-27 |
 | P114 | kl-dent | [Relation of continuous Kullback-Leibler divergence to differential entropy](/P/kl-dent) | JoramSoch | 2020-05-27 |
 | P115 | kl-inv | [Invariance of the Kullback-Leibler divergence under parameter transformation](/P/kl-inv) | JoramSoch | 2020-05-28 |
 | P116 | kl-add | [Additivity of the Kullback-Leibler divergence for independent distributions](/P/kl-add) | JoramSoch | 2020-05-31 |
@@ -344,3 +344,8 @@ title: "Proof by Number"
 | P336 | cat-ent | [Entropy of the categorical distribution](/P/cat-ent) | JoramSoch | 2022-09-09 |
 | P337 | mult-ent | [Entropy of the multinomial distribution](/P/mult-ent) | JoramSoch | 2022-09-09 |
 | P338 | cat-cov | [Covariance matrix of the categorical distribution](/P/cat-cov) | JoramSoch | 2022-09-09 |
+| P339 | mvn-mean | [Mean of the multivariate normal distribution](/P/mvn-mean) | JoramSoch | 2022-09-15 |
+| P340 | mvn-cov | [Covariance matrix of the multivariate normal distribution](/P/mvn-cov) | JoramSoch | 2022-09-15 |
+| P341 | matn-mean | [Mean of the matrix-normal distribution](/P/matn-mean) | JoramSoch | 2022-09-15 |
+| P342 | matn-cov | [Covariance matrices of the matrix-normal distribution](/P/matn-cov) | JoramSoch | 2022-09-15 |
+| P343 | matn-marg | [Marginal distributions for the matrix-normal distribution](/P/matn-marg) | JoramSoch | 2022-09-15 |

I/PbT.md

@@ -47,8 +47,10 @@ title: "Proof by Topic"
 - [Corrected Akaike information criterion in terms of maximum log-likelihood](/P/aicc-mll)
 - [Correlation always falls between -1 and +1](/P/corr-range)
 - [Correlation coefficient in terms of standard scores](/P/corr-z)
+- [Covariance matrices of the matrix-normal distribution](/P/matn-cov)
 - [Covariance matrix of the categorical distribution](/P/cat-cov)
 - [Covariance matrix of the multinomial distribution](/P/mult-cov)
+- [Covariance matrix of the multivariate normal distribution](/P/mvn-cov)
 - [Covariance of independent random variables](/P/cov-ind)
 - [Cross-validated log Bayes factor for the univariate Gaussian with known variance](/P/ugkv-cvlbf)
 - [Cross-validated log model evidence for the univariate Gaussian with known variance](/P/ugkv-cvlme)
@@ -173,6 +175,7 @@ title: "Proof by Topic"
 
 ### M
 
+- [Marginal distributions for the matrix-normal distribution](/P/matn-marg)
 - [Marginal distributions of the multivariate normal distribution](/P/mvn-marg)
 - [Marginal distributions of the normal-gamma distribution](/P/ng-marg)
 - [Marginal likelihood is a definite integral of joint likelihood](/P/ml-jl)
@@ -195,7 +198,9 @@ title: "Proof by Topic"
 - [Mean of the continuous uniform distribution](/P/cuni-mean)
 - [Mean of the exponential distribution](/P/exp-mean)
 - [Mean of the gamma distribution](/P/gam-mean)
+- [Mean of the matrix-normal distribution](/P/matn-mean)
 - [Mean of the multinomial distribution](/P/mult-mean)
+- [Mean of the multivariate normal distribution](/P/mvn-mean)
 - [Mean of the normal distribution](/P/norm-mean)
 - [Mean of the normal-gamma distribution](/P/ng-mean)
 - [Mean of the normal-Wishart distribution](/P/nw-mean)
@@ -337,7 +342,7 @@ title: "Proof by Topic"
 - [Relation of continuous mutual information to joint and conditional differential entropy](/P/cmi-jcde)
 - [Relation of continuous mutual information to marginal and conditional differential entropy](/P/cmi-mcde)
 - [Relation of continuous mutual information to marginal and joint differential entropy](/P/cmi-mjde)
-- [Relation of Kullback-Leibler divergence to entropy](/P/kl-ent)
+- [Relation of discrete Kullback-Leibler divergence to Shannon entropy](/P/kl-ent)
 - [Relation of mutual information to joint and conditional entropy](/P/dmi-jce)
 - [Relation of mutual information to marginal and conditional entropy](/P/dmi-mce)
 - [Relation of mutual information to marginal and joint entropy](/P/dmi-mje)

I/PwS.md

@@ -46,6 +46,7 @@ title: "Proofs without Source"
 - [Log model evidence for the Poisson distribution with exposure values](/P/poissexp-lme)
 - [Log model evidence for the univariate Gaussian with known variance](/P/ugkv-lme)
 - [Log model evidence in terms of prior and posterior distribution](/P/lme-pnp)
+- [Marginal distributions for the matrix-normal distribution](/P/matn-marg)
 - [Marginal distributions of the multivariate normal distribution](/P/mvn-marg)
 - [Marginal distributions of the normal-gamma distribution](/P/ng-marg)
 - [Marginal likelihood is a definite integral of joint likelihood](/P/ml-jl)