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

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

Result R5254 on D5791: Real function derivative function

Slope function for standard natural real exponential function

Formulation 0

Let $\exp : \mathbb{R} \to (0, \infty)$ be the D1932: Standard natural real exponential function.

Then \begin{equation} (\exp x)' = \exp x \end{equation}

Formulation 1

Let $\exp : \mathbb{R} \to (0, \infty)$ be the D1932: Standard natural real exponential function.

Then \begin{equation} \frac{d \exp x}{d x} = \exp x \end{equation}