File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -4,7 +4,7 @@ title: "Proof by Author"
44---
55
66
7- ### JoramSoch (283 proofs)
7+ ### JoramSoch (286 proofs)
88
99- [ (Non-)Multiplicativity of the expected value] ( /P/mean-mult )
1010- [ Accuracy and complexity for the univariate Gaussian] ( /P/ug-anc )
@@ -89,7 +89,10 @@ title: "Proof by Author"
8989- [ Invariance of the variance under addition of a constant] ( /P/var-inv )
9090- [ Inverse transformation method using cumulative distribution function] ( /P/cdf-itm )
9191- [ Joint likelihood is the product of likelihood function and prior density] ( /P/jl-lfnprior )
92+ - [ Kullback-Leibler divergence for the Dirichlet distribution] ( /P/dir-kl )
93+ - [ Kullback-Leibler divergence for the Wishart distribution] ( /P/wish-kl )
9294- [ Kullback-Leibler divergence for the gamma distribution] ( /P/gam-kl )
95+ - [ Kullback-Leibler divergence for the matrix-normal distribution] ( /P/matn-kl )
9396- [ Kullback-Leibler divergence for the multivariate normal distribution] ( /P/mvn-kl )
9497- [ Kullback-Leibler divergence for the normal distribution] ( /P/norm-kl )
9598- [ Kullback-Leibler divergence for the normal-gamma distribution] ( /P/ng-kl )
Original file line number Diff line number Diff line change @@ -299,3 +299,6 @@ title: "Proof by Number"
299299| P291 | mean-tot | [ Law of total expectation] ( /P/mean-tot ) | JoramSoch | 2021-11-26 |
300300| P292 | var-tot | [ Law of total variance] ( /P/var-tot ) | JoramSoch | 2021-11-26 |
301301| P293 | cov-tot | [ Law of total covariance] ( /P/cov-tot ) | JoramSoch | 2021-11-26 |
302+ | P294 | dir-kl | [ Kullback-Leibler divergence for the Dirichlet distribution] ( /P/dir-kl ) | JoramSoch | 2021-12-02 |
303+ | P295 | wish-kl | [ Kullback-Leibler divergence for the Wishart distribution] ( /P/wish-kl ) | JoramSoch | 2021-12-02 |
304+ | P296 | matn-kl | [ Kullback-Leibler divergence for the matrix-normal distribution] ( /P/matn-kl ) | JoramSoch | 2021-12-02 |
Original file line number Diff line number Diff line change @@ -117,10 +117,13 @@ title: "Proof by Topic"
117117
118118### K
119119
120+ - [ Kullback-Leibler divergence for the Dirichlet distribution] ( /P/dir-kl )
120121- [ Kullback-Leibler divergence for the gamma distribution] ( /P/gam-kl )
122+ - [ Kullback-Leibler divergence for the matrix-normal distribution] ( /P/matn-kl )
121123- [ Kullback-Leibler divergence for the multivariate normal distribution] ( /P/mvn-kl )
122124- [ Kullback-Leibler divergence for the normal distribution] ( /P/norm-kl )
123125- [ Kullback-Leibler divergence for the normal-gamma distribution] ( /P/ng-kl )
126+ - [ Kullback-Leibler divergence for the Wishart distribution] ( /P/wish-kl )
124127
125128### L
126129
Original file line number Diff line number Diff line change @@ -27,6 +27,7 @@ title: "Proofs without Source"
2727- [ Exponential distribution is a special case of gamma distribution] ( /P/exp-gam )
2828- [ First raw moment is mean] ( /P/momraw-1st )
2929- [ Joint likelihood is the product of likelihood function and prior density] ( /P/jl-lfnprior )
30+ - [ Kullback-Leibler divergence for the matrix-normal distribution] ( /P/matn-kl )
3031- [ Kullback-Leibler divergence for the normal distribution] ( /P/norm-kl )
3132- [ Linear combination of independent normal random variables] ( /P/norm-lincomb )
3233- [ Linear transformation theorem for the matrix-normal distribution] ( /P/matn-ltt )
You can’t perform that action at this time.
0 commit comments