Processing math: 100%
ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F12070 on D5946: Real matrix trace
F12070
Formulation 0
Let ARN×N be a D6160: Real square matrix.
The trace of A is the D993: Real number TraceA:=Nn=1An,n