ThmDex – An index of mathematical definitions, results, and conjectures.

ThmDex – An index of mathematical definitions, results, and conjectures.

Formulation F12596 on R3941: Slope function for standard real gaussian density function

F12596

Formulation 0

Let $f : \mathbb{R} \to \mathbb{R}$ be the D2719: Standard real gaussian density function.

Then

(1)	$f$ is a D5614: Differentiable real function
(2)	\begin{equation} f'(x) = - x f(x) \end{equation}