updated index pages

JoramSoch · JoramSoch · commit 65f5c8f46035 · 2020-11-19T09:43:39.000+01:00
The index pages were updated with the recently added proofs/definitions.
diff --git a/D/ind-cond.md b/D/ind-cond.md
@@ -39,7 +39,7 @@ $$
 where $p(x_1, \ldots, x_n \vert y)$ are the [joint (conditional) probabilities](/D/prob-joint) of $X_1, \ldots, X_n$ given $Y$ and $p(x_i)$ are the [marginal (conditional) probabilities](/D/prob-marg) of $X_i$ given $Y$.
 
 <br>
-2) A set of [continuous random variables](/D/rvar-cont) $X_1, \ldots, X_n$ with possible values $\mathcal{X}_1, \ldots, \mathcal{X}_n$ is called conditionally independent given the random variable $Y$ with possible values $\mathcal{Y}$, if
+2) A set of [continuous random variables](/D/rvar-disc) $X_1, \ldots, X_n$ with possible values $\mathcal{X}_1, \ldots, \mathcal{X}_n$ is called conditionally independent given the random variable $Y$ with possible values $\mathcal{Y}$, if
 
 $$ \label{eq:cond-ind-F}
 F_{X_1,\ldots,X_n|Y=y}(x_1,\ldots,x_n) = \prod_{i=1}^{n} F_{X_i|Y=y}(x_i) \quad \text{for all} \; x_i \in \mathcal{X}_i \quad \text{and all} \; y \in \mathcal{Y}
diff --git a/I/Definition_by_Author.md b/I/Definition_by_Author.md
@@ -4,7 +4,7 @@ title: "Definition by Author"
 ---
 
 
-### JoramSoch (104 definitions)
+### JoramSoch (108 definitions)
 
 - [Akaike information criterion](/D/aic)
 - [Bayesian information criterion](/D/bic)
@@ -19,6 +19,7 @@ title: "Definition by Author"
 - [Coefficient of determination](/D/rsq)
 - [Conditional differential entropy](/D/dent-cond)
 - [Conditional entropy](/D/ent-cond)
+- [Conditional independence](/D/ind-cond)
 - [Conditional probability distribution](/D/dist-cond)
 - [Constant](/D/const)
 - [Continuous uniform distribution](/D/cuni)
@@ -27,6 +28,7 @@ title: "Definition by Author"
 - [Covariance](/D/cov)
 - [Covariance matrix](/D/covmat)
 - [Cross-entropy](/D/ent-cross)
+- [Cross-validated log model evidence](/D/cvlme)
 - [Cumulant-generating function](/D/cgf)
 - [Cumulative distribution function](/D/cdf)
 - [Deviance information criterion](/D/dic)
@@ -93,6 +95,8 @@ title: "Definition by Author"
 - [Probability-generating function](/D/pgf)
 - [Projection matrix](/D/pmat)
 - [Quantile function](/D/qf)
+- [Random event](/D/reve)
+- [Random experiment](/D/rexp)
 - [Random matrix](/D/rmat)
 - [Random variable](/D/rvar)
 - [Random vector](/D/rvec)
diff --git a/I/Definition_by_Number.md b/I/Definition_by_Number.md
@@ -115,3 +115,7 @@ title: "Definition by Number"
 | D106 | rvar-uni | [Univariate and multivariate random variable](/D/rvar-uni) | JoramSoch | 2020-11-06 |
 | D107 | min | [Minimum](/D/min) | JoramSoch | 2020-11-12 |
 | D108 | max | [Maximum](/D/max) | JoramSoch | 2020-11-12 |
+| D109 | rexp | [Random experiment](/D/rexp) | JoramSoch | 2020-11-19 |
+| D110 | reve | [Random event](/D/reve) | JoramSoch | 2020-11-19 |
+| D111 | cvlme | [Cross-validated log model evidence](/D/cvlme) | JoramSoch | 2020-11-19 |
+| D112 | ind-cond | [Conditional independence](/D/ind-cond) | JoramSoch | 2020-11-19 |
diff --git a/I/Definition_by_Topic.md b/I/Definition_by_Topic.md
@@ -27,6 +27,7 @@ title: "Definition by Topic"
 - [Coefficient of determination](/D/rsq)
 - [Conditional differential entropy](/D/dent-cond)
 - [Conditional entropy](/D/ent-cond)
+- [Conditional independence](/D/ind-cond)
 - [Conditional probability distribution](/D/dist-cond)
 - [Constant](/D/const)
 - [Continuous uniform distribution](/D/cuni)
@@ -35,6 +36,7 @@ title: "Definition by Topic"
 - [Covariance](/D/cov)
 - [Covariance matrix](/D/covmat)
 - [Cross-entropy](/D/ent-cross)
+- [Cross-validated log model evidence](/D/cvlme)
 - [Cumulant-generating function](/D/cgf)
 - [Cumulative distribution function](/D/cdf)
 
@@ -139,6 +141,8 @@ title: "Definition by Topic"
 
 ### R
 
+- [Random event](/D/reve)
+- [Random experiment](/D/rexp)
 - [Random matrix](/D/rmat)
 - [Random variable](/D/rvar)
 - [Random vector](/D/rvec)
diff --git a/I/Proof_by_Author.md b/I/Proof_by_Author.md
@@ -4,7 +4,7 @@ title: "Proof by Author"
 ---
 
 
-### JoramSoch (183 proofs)
+### JoramSoch (186 proofs)
 
 - [(Non-)Multiplicativity of the expected value](/P/mean-mult)
 - [Additivity of the Kullback-Leibler divergence for independent distributions](/P/kl-add)
@@ -29,6 +29,7 @@ title: "Proof by Author"
 - [Cumulative distribution function in terms of probability mass function of a discrete random variable](/P/cdf-pmf)
 - [Cumulative distribution function of a strictly decreasing function of a random variable](/P/cdf-sdfct)
 - [Cumulative distribution function of a strictly increasing function of a random variable](/P/cdf-sifct)
+- [Cumulative distribution function of the beta distribution](/P/beta-cdf)
 - [Cumulative distribution function of the continuous uniform distribution](/P/cuni-cdf)
 - [Cumulative distribution function of the discrete uniform distribution](/P/duni-cdf)
 - [Cumulative distribution function of the exponential distribution](/P/exp-cdf)
@@ -60,6 +61,7 @@ title: "Proof by Author"
 - [Joint likelihood is the product of likelihood function and prior density](/P/jl-lfnprior)
 - [Kullback-Leibler divergence for the gamma distribution](/P/gam-kl)
 - [Kullback-Leibler divergence for the multivariate normal distribution](/P/mvn-kl)
+- [Kullback-Leibler divergence for the normal distribution](/P/norm-kl)
 - [Kullback-Leibler divergence for the normal-gamma distribution](/P/ng-kl)
 - [Law of the unconscious statistician](/P/mean-lotus)
 - [Linear transformation theorem for the matrix-normal distribution](/P/matn-ltt)
@@ -156,6 +158,7 @@ title: "Proof by Author"
 - [Quantile function of the continuous uniform distribution](/P/cuni-qf)
 - [Quantile function of the discrete uniform distribution](/P/duni-qf)
 - [Quantile function of the exponential distribution](/P/exp-qf)
+- [Quantile function of the gamma distribution](/P/gam-qf)
 - [Quantile function of the normal distribution](/P/norm-qf)
 - [Relation between gamma distribution and standard gamma distribution](/P/gam-sgam)
 - [Relation between gamma distribution and standard gamma distribution](/P/gam-sgam2)
diff --git a/I/Proof_by_Number.md b/I/Proof_by_Number.md
@@ -199,3 +199,6 @@ title: "Proof by Number"
 | P190 | cdf-pdf | [Cumulative distribution function in terms of probability density function of a continuous random variable](/P/cdf-pdf) | JoramSoch | 2020-11-12 |
 | P191 | pdf-cdf | [Probability density function is first derivative of cumulative distribution function](/P/pdf-cdf) | JoramSoch | 2020-11-12 |
 | P192 | qf-cdf | [Quantile function is inverse of strictly monotonically increasing cumulative distribution function](/P/qf-cdf) | JoramSoch | 2020-11-12 |
+| P193 | norm-kl | [Kullback-Leibler divergence for the normal distribution](/P/norm-kl) | JoramSoch | 2020-11-19 |
+| P194 | gam-qf | [Quantile function of the gamma distribution](/P/gam-qf) | JoramSoch | 2020-11-19 |
+| P195 | beta-cdf | [Cumulative distribution function of the beta distribution](/P/beta-cdf) | JoramSoch | 2020-11-19 |
diff --git a/I/Proof_by_Topic.md b/I/Proof_by_Topic.md
@@ -39,6 +39,7 @@ title: "Proof by Topic"
 - [Cumulative distribution function in terms of probability mass function of a discrete random variable](/P/cdf-pmf)
 - [Cumulative distribution function of a strictly decreasing function of a random variable](/P/cdf-sdfct)
 - [Cumulative distribution function of a strictly increasing function of a random variable](/P/cdf-sifct)
+- [Cumulative distribution function of the beta distribution](/P/beta-cdf)
 - [Cumulative distribution function of the continuous uniform distribution](/P/cuni-cdf)
 - [Cumulative distribution function of the discrete uniform distribution](/P/duni-cdf)
 - [Cumulative distribution function of the exponential distribution](/P/exp-cdf)
@@ -92,6 +93,7 @@ title: "Proof by Topic"
 
 - [Kullback-Leibler divergence for the gamma distribution](/P/gam-kl)
 - [Kullback-Leibler divergence for the multivariate normal distribution](/P/mvn-kl)
+- [Kullback-Leibler divergence for the normal distribution](/P/norm-kl)
 - [Kullback-Leibler divergence for the normal-gamma distribution](/P/ng-kl)
 
 ### L
@@ -211,6 +213,7 @@ title: "Proof by Topic"
 - [Quantile function of the continuous uniform distribution](/P/cuni-qf)
 - [Quantile function of the discrete uniform distribution](/P/duni-qf)
 - [Quantile function of the exponential distribution](/P/exp-qf)
+- [Quantile function of the gamma distribution](/P/gam-qf)
 - [Quantile function of the normal distribution](/P/norm-qf)
 
 ### R
diff --git a/I/Proofs_without_Source.md b/I/Proofs_without_Source.md
@@ -19,6 +19,7 @@ title: "Proofs without Source"
 - [Exponential distribution is a special case of gamma distribution](/P/exp-gam)
 - [First raw moment is mean](/P/momraw-1st)
 - [Joint likelihood is the product of likelihood function and prior density](/P/jl-lfnprior)
+- [Kullback-Leibler divergence for the normal distribution](/P/norm-kl)
 - [Linear transformation theorem for the matrix-normal distribution](/P/matn-ltt)
 - [Log model evidence for multinomial observations](/P/mult-lme)
 - [Log model evidence for multivariate Bayesian linear regression](/P/mblr-lme)
