ThmDex – An index of mathematical definitions, results, and conjectures.
Result R4097 on D763: Matrix determinant
Real arithmetic expression for real matrix determinant
Formulation 0
Let $A \in \mathbb{R}^{N \times N}$ be a D4571: Real matrix.
Then \begin{equation} \text{det}(A) = \sum_{\pi \in S_N} \left( \text{sign}(\pi) \prod_{n = 1}^N A_{n, \pi(n)} \right) \end{equation}