Epistemology
Introduction E9F5FC Questions FFFFC0 Software 
Prove and interpret the matrix form of Lagrange's identity Lagrange identity {$det(F^T F) = ∑_{P =m} det^2(F_P)$} which holds for all n × m matrices, where the sum to the right is over all m × m submatrices P of F, a formula which in calculus becomes for vectors {$\vec{v}^2\vec{w}^2 − (\vec{v}·\vec{w})2 = \vec{v} ∧ \vec{w}^2$}.
