This theory attempts to capture basic concepts in linear algebra, with emphasis on matrix operations. Definitions are derived from, Strang, G., Linear Algebra and its Applications, 3rd Edition, Harcourt Brace Jovanovich, 1988.
Matrix Row-Matrix Column-Matrix Square-Matrix Identity-Matrix Diagonal-Matrix Invertible-Matrix Orthogonal-Matrix Diagonal-Matrix Zero-Element
* + - Cofactor Column Column-Dimension Determinant Matrix-Inverse Matrix-Less-Column Matrix-Less-Row Matrix-Less-Row-And-Column Matrix-Of-Columns Matrix-Of-Rows Row Row-Dimension Size Transpose
The following constants were used from included theories:
The following constants were used from theories not included:
All constants that were mentioned were defined.