ThmDex – An index of mathematical definitions, results, and conjectures.
F67
Formulation 0
The standard real gaussian density function is the D4364: Real function \begin{equation} \mathbb{R} \to \mathbb{R}, \quad x \mapsto \frac{1}{\sqrt{2 \pi}} \exp \bigg( - \frac{1}{2} x^2 \bigg) \end{equation}