ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F12430 on R5194:
F12430
Formulation 0
Let $x \in \mathbb{R}^{N \times 1}$ be a D5200: Real column matrix.
Then \begin{equation} x^Tx = \Vert x \Vert_2 \Vert x \Vert_2 = \Vert x \Vert_2^2 \end{equation}