User:Matteo.focardi/sandbox

2020 Mathematics Subject Classification: Primary: 15Axx [MSN][ZBL]

A formula aimed at expressing the determinant of a square $m\times m$ matrix $C=A\cdot B$, $A\in$\def\M{\mathrm{M}}\M_{m,n}(\mathbb{R})$ and $A\in$\def\M_{n,m}(\mathbb{R})$, in terms the sum of products of all possible the higher order minors of $A$ with corresponding minors of the same order of $B$.