@@ -4,7 +4,7 @@ title: "Proof by Author"
44---
55
66
7- ### JoramSoch (252 proofs)
7+ ### JoramSoch (254 proofs)
88
99- [ (Non-)Multiplicativity of the expected value] ( /P/mean-mult )
1010- [ Accuracy and complexity for the univariate Gaussian] ( /P/ug-anc )
@@ -186,6 +186,7 @@ title: "Proof by Author"
186186- [ Probability density function of a sum of independent discrete random variables] ( /P/pdf-sumind )
187187- [ Probability density function of an invertible function of a continuous random vector] ( /P/pdf-invfct )
188188- [ Probability density function of the Dirichlet distribution] ( /P/dir-pdf )
189+ - [ Probability density function of the F-distribution] ( /P/f-pdf )
189190- [ Probability density function of the beta distribution] ( /P/beta-pdf )
190191- [ Probability density function of the chi-squared distribution] ( /P/chi2-pdf )
191192- [ Probability density function of the continuous uniform distribution] ( /P/cuni-pdf )
@@ -195,6 +196,7 @@ title: "Proof by Author"
195196- [ Probability density function of the multivariate normal distribution] ( /P/mvn-pdf )
196197- [ Probability density function of the normal distribution] ( /P/norm-pdf )
197198- [ Probability density function of the normal-gamma distribution] ( /P/ng-pdf )
199+ - [ Probability density function of the t-distribution] ( /P/t-pdf )
198200- [ Probability integral transform using cumulative distribution function] ( /P/cdf-pit )
199201- [ Probability mass function of a strictly decreasing function of a discrete random variable] ( /P/pmf-sdfct )
200202- [ Probability mass function of a strictly increasing function of a discrete random variable] ( /P/pmf-sifct )
0 commit comments