@@ -4,7 +4,7 @@ title: "Proof by Author"
44---
55
66
7- ### JoramSoch (166 proofs)
7+ ### JoramSoch (170 proofs)
88
99- [ (Non-)Multiplicativity of the expected value] ( /P/mean-mult )
1010- [ Additivity of the Kullback-Leibler divergence for independent distributions] ( /P/kl-add )
@@ -28,6 +28,7 @@ title: "Proof by Author"
2828- [ Cumulative distribution function of the continuous uniform distribution] ( /P/cuni-cdf )
2929- [ Cumulative distribution function of the discrete uniform distribution] ( /P/duni-cdf )
3030- [ Cumulative distribution function of the exponential distribution] ( /P/exp-cdf )
31+ - [ Cumulative distribution function of the gamma distribution] ( /P/gam-cdf )
3132- [ Cumulative distribution function of the normal distribution] ( /P/norm-cdf )
3233- [ Derivation of Bayesian model averaging] ( /P/bma-der )
3334- [ Derivation of R² and adjusted R²] ( /P/rsq-der )
@@ -42,6 +43,7 @@ title: "Proof by Author"
4243- [ Equivalence of matrix-normal distribution and multivariate normal distribution] ( /P/matn-mvn )
4344- [ Expectation of a quadratic form] ( /P/mean-qf )
4445- [ Expected value of a non-negative random variable] ( /P/mean-nnrvar )
46+ - [ Expected value of x times ln(x) for a gamma distribution] ( /P/gam-xlogx )
4547- [ Exponential distribution is a special case of gamma distribution] ( /P/exp-gam )
4648- [ Expression of the cumulative distribution function of the normal distribution without the error function] ( /P/norm-cdfwerf )
4749- [ First central moment is zero] ( /P/momcent-1st )
@@ -144,7 +146,9 @@ title: "Proof by Author"
144146- [ Quantile function of the exponential distribution] ( /P/exp-qf )
145147- [ Quantile function of the normal distribution] ( /P/norm-qf )
146148- [ Relation between gamma distribution and standard gamma distribution] ( /P/gam-sgam )
149+ - [ Relation between gamma distribution and standard gamma distribution] ( /P/gam-sgam2 )
147150- [ Relation between normal distribution and standard normal distribution] ( /P/norm-snorm )
151+ - [ Relation between normal distribution and standard normal distribution] ( /P/norm-snorm2 )
148152- [ Relation of Kullback-Leibler divergence to entropy] ( /P/kl-ent )
149153- [ Relation of continuous Kullback-Leibler divergence to differential entropy] ( /P/kl-dent )
150154- [ Relation of continuous mutual information to joint and conditional differential entropy] ( /P/cmi-jcde )
0 commit comments