Skip to content

Commit dbd4d96

Browse files
JoramSochJoramSoch
committed
updated index pages
The index pages were updated with the recently added proofs/definitions.
1 parent cb79b9f commit dbd4d96

7 files changed

Lines changed: 14 additions & 3 deletions

‎I/Definition_by_Author.md‎

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ title: "Definition by Author"
44
---
55

66

7-
### JoramSoch (100 definitions)
7+
### JoramSoch (101 definitions)
88

99
- [Akaike information criterion](/D/aic)
1010
- [Bayesian information criterion](/D/bic)
@@ -34,6 +34,7 @@ title: "Definition by Author"
3434
- [Differential entropy](/D/dent)
3535
- [Dirichlet distribution](/D/dir)
3636
- [Dirichlet-distributed data](/D/dir-data)
37+
- [Discrete and continuous random variable](/D/rvar-disc)
3738
- [Discrete uniform distribution](/D/duni)
3839
- [Estimation matrix](/D/emat)
3940
- [Exceedance probability](/D/prob-exc)

‎I/Definition_by_Number.md‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -111,3 +111,4 @@ title: "Definition by Number"
111111
| D102 | mode | [Mode](/D/mode) | JoramSoch | 2020-10-15 |
112112
| D103 | prob-exc | [Exceedance probability](/D/prob-exc) | JoramSoch | 2020-10-22 |
113113
| D104 | dir-data | [Dirichlet-distributed data](/D/dir-data) | JoramSoch | 2020-10-22 |
114+
| D105 | rvar-disc | [Discrete and continuous random variable](/D/rvar-disc) | JoramSoch | 2020-10-29 |

‎I/Definition_by_Topic.md‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -46,6 +46,7 @@ title: "Definition by Topic"
4646
- [Differential entropy](/D/dent)
4747
- [Dirichlet distribution](/D/dir)
4848
- [Dirichlet-distributed data](/D/dir-data)
49+
- [Discrete and continuous random variable](/D/rvar-disc)
4950
- [Discrete uniform distribution](/D/duni)
5051

5152
### E

‎I/Proof_by_Author.md‎

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ title: "Proof by Author"
44
---
55

66

7-
### JoramSoch (173 proofs)
7+
### JoramSoch (176 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)
@@ -25,6 +25,7 @@ title: "Proof by Author"
2525
- [Convexity of the Kullback-Leibler divergence](/P/kl-conv)
2626
- [Convexity of the cross-entropy](/P/entcross-conv)
2727
- [Covariance of independent random variables](/P/cov-ind)
28+
- [Cumulative distribution function of a strictly increasing function of a random variable](/P/cdf-sifct)
2829
- [Cumulative distribution function of the continuous uniform distribution](/P/cuni-cdf)
2930
- [Cumulative distribution function of the discrete uniform distribution](/P/duni-cdf)
3031
- [Cumulative distribution function of the exponential distribution](/P/exp-cdf)
@@ -127,6 +128,7 @@ title: "Proof by Author"
127128
- [Posterior model probability in terms of log Bayes factor](/P/pmp-lbf)
128129
- [Posterior probability of the alternative hypothesis for Bayesian linear regression](/P/blr-pp)
129130
- [Probability and log-odds in logistic regression](/P/logreg-pnlo)
131+
- [Probability density function of a strictly increasing function of a continuous random variable](/P/pdf-sifct)
130132
- [Probability density function of the Dirichlet distribution](/P/dir-pdf)
131133
- [Probability density function of the beta distribution](/P/beta-pdf)
132134
- [Probability density function of the continuous uniform distribution](/P/cuni-pdf)
@@ -136,6 +138,7 @@ title: "Proof by Author"
136138
- [Probability density function of the multivariate normal distribution](/P/mvn-pdf)
137139
- [Probability density function of the normal distribution](/P/norm-pdf)
138140
- [Probability density function of the normal-gamma distribution](/P/ng-pdf)
141+
- [Probability mass function of a strictly increasing function of a discrete random variable](/P/pmf-sifct)
139142
- [Probability mass function of the Bernoulli distribution](/P/bern-pmf)
140143
- [Probability mass function of the Poisson distribution](/P/poiss-pmf)
141144
- [Probability mass function of the binomial distribution](/P/bin-pmf)

‎I/Proof_by_Number.md‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -189,3 +189,6 @@ title: "Proof by Number"
189189
| P180 | norm-snorm3 | [Relation between normal distribution and standard normal distribution](/P/norm-snorm3) | JoramSoch | 2020-10-22 |
190190
| P181 | dir-ep | [Exceedance probabilities for the the Dirichlet distribution](/P/dir-ep) | JoramSoch | 2020-10-22 |
191191
| P182 | dir-mle | [Maximum likelihood estimation for Dirichlet-distributed data](/P/dir-mle) | JoramSoch | 2020-10-22 |
192+
| P183 | cdf-sifct | [Cumulative distribution function of a strictly increasing function of a random variable](/P/cdf-sifct) | JoramSoch | 2020-10-29 |
193+
| P184 | pmf-sifct | [Probability mass function of a strictly increasing function of a discrete random variable](/P/pmf-sifct) | JoramSoch | 2020-10-29 |
194+
| P185 | pdf-sifct | [Probability density function of a strictly increasing function of a continuous random variable](/P/pdf-sifct) | JoramSoch | 2020-10-29 |

‎I/Proof_by_Topic.md‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -35,6 +35,7 @@ title: "Proof by Topic"
3535
- [Convexity of the Kullback-Leibler divergence](/P/kl-conv)
3636
- [Convexity of the cross-entropy](/P/entcross-conv)
3737
- [Covariance of independent random variables](/P/cov-ind)
38+
- [Cumulative distribution function of a strictly increasing function of a random variable](/P/cdf-sifct)
3839
- [Cumulative distribution function of the continuous uniform distribution](/P/cuni-cdf)
3940
- [Cumulative distribution function of the discrete uniform distribution](/P/duni-cdf)
4041
- [Cumulative distribution function of the exponential distribution](/P/exp-cdf)
@@ -177,6 +178,7 @@ title: "Proof by Topic"
177178
- [Posterior model probability in terms of log Bayes factor](/P/pmp-lbf)
178179
- [Posterior probability of the alternative hypothesis for Bayesian linear regression](/P/blr-pp)
179180
- [Probability and log-odds in logistic regression](/P/logreg-pnlo)
181+
- [Probability density function of a strictly increasing function of a continuous random variable](/P/pdf-sifct)
180182
- [Probability density function of the Dirichlet distribution](/P/dir-pdf)
181183
- [Probability density function of the Wald distribution](/P/wald-pdf)
182184
- [Probability density function of the beta distribution](/P/beta-pdf)
@@ -187,6 +189,7 @@ title: "Proof by Topic"
187189
- [Probability density function of the multivariate normal distribution](/P/mvn-pdf)
188190
- [Probability density function of the normal distribution](/P/norm-pdf)
189191
- [Probability density function of the normal-gamma distribution](/P/ng-pdf)
192+
- [Probability mass function of a strictly increasing function of a discrete random variable](/P/pmf-sifct)
190193
- [Probability mass function of the Bernoulli distribution](/P/bern-pmf)
191194
- [Probability mass function of the Poisson distribution](/P/poiss-pmf)
192195
- [Probability mass function of the binomial distribution](/P/bin-pmf)

‎I/Proofs_without_Source.md‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,6 @@ title: "Proofs without Source"
99
- [Cumulative distribution function of the continuous uniform distribution](/P/cuni-cdf)
1010
- [Cumulative distribution function of the discrete uniform distribution](/P/duni-cdf)
1111
- [Cumulative distribution function of the exponential distribution](/P/exp-cdf)
12-
- [Cumulative distribution function of the gamma distribution](/P/gam-cdf)
1312
- [Derivation of Bayesian model averaging](/P/bma-der)
1413
- [Derivation of the log Bayes factor](/P/lbf-der)
1514
- [Derivation of the log family evidence](/P/lfe-der)

0 commit comments

Comments
 (0)