Content deleted Content added
adding caveat on efficiency, link to Box Muller |
|||
Line 17:
==Proof of correctness==
Let ''F'' be a continuous [[cumulative distribution function]], and let <math>F^{-1}</math> be its inverse function:<ref>Luc Devroye. ''Non-Uniform Random Variate Generation''. New York: Springer-Verlag, 1986. ([http://
:<math>F^{-1}(u) = \inf\;\{x \mid F(x)=u, 0<u<1\}</math>
|