ThmDex – An index of mathematical definitions, results, and conjectures.
F8930
Formulation 2
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}} e^{- \frac{x^2}{2}} \end{equation}