ThmDex – An index of mathematical definitions, results, and conjectures.
F12282
Formulation 2
Let $\mathbb{C}$ be the D372: Set of complex numbers.
The standard complex cosine function is the D4881: Complex function \begin{equation} \cos : \mathbb{C} \to \mathbb{C}, \quad \cos(z) = \sum_{n = 0}^{\infty} (-1)^n \frac{z^{2n}}{(2n)!} \end{equation}