@@ -4,7 +4,7 @@ title: "Proof by Author"
44---
55
66
7- ### JoramSoch (248 proofs)
7+ ### JoramSoch (250 proofs)
88
99- [ (Non-)Multiplicativity of the expected value] ( /P/mean-mult )
1010- [ Accuracy and complexity for the univariate Gaussian] ( /P/ug-anc )
@@ -16,6 +16,7 @@ title: "Proof by Author"
1616- [ Bayes' rule] ( /P/bayes-rule )
1717- [ Bayes' theorem] ( /P/bayes-th )
1818- [ Bayesian model averaging in terms of log model evidences] ( /P/bma-lme )
19+ - [ Characteristic function of a function of a random variable] ( /P/cf-fct )
1920- [ Concavity of the Shannon entropy] ( /P/ent-conc )
2021- [ Conditional distributions of the multivariate normal distribution] ( /P/mvn-cond )
2122- [ Conditional distributions of the normal-gamma distribution] ( /P/ng-cond )
@@ -134,6 +135,7 @@ title: "Proof by Author"
134135- [ Mode of the exponential distribution] ( /P/exp-mode )
135136- [ Mode of the normal distribution] ( /P/norm-mode )
136137- [ Moment in terms of moment-generating function] ( /P/mom-mgf )
138+ - [ Moment-generating function of a function of a random variable] ( /P/mgf-fct )
137139- [ Moment-generating function of linear combination of independent random variables] ( /P/mgf-lincomb )
138140- [ Moment-generating function of the beta distribution] ( /P/beta-mgf )
139141- [ Moment-generating function of the normal distribution] ( /P/norm-mgf )
@@ -180,7 +182,7 @@ title: "Proof by Author"
180182- [ Probability density function of a strictly decreasing function of a continuous random variable] ( /P/pdf-sdfct )
181183- [ Probability density function of a strictly increasing function of a continuous random variable] ( /P/pdf-sifct )
182184- [ Probability density function of a sum of independent discrete random variables] ( /P/pdf-sumind )
183- - [ Probability density function of an invertible function of a continuous random vector] ( /P/pmf -invfct )
185+ - [ Probability density function of an invertible function of a continuous random vector] ( /P/pdf -invfct )
184186- [ Probability density function of the Dirichlet distribution] ( /P/dir-pdf )
185187- [ Probability density function of the beta distribution] ( /P/beta-pdf )
186188- [ Probability density function of the chi-squared distribution] ( /P/chi2-pdf )
0 commit comments