ThmDex – An index of mathematical definitions, results, and conjectures.
F1464
Formulation 1
The standard real cosine function is the D4364: Real function \begin{equation} \mathbb{R} \to [-1, 1], \quad x \mapsto \sum_{n = 0}^{\infty} (-1)^n \frac{x^{2n}}{(2n)!} \end{equation}