Theory BASIC-MATRIX-ALGEBRA

• Last modified: Tuesday, 5 July 1994
• Source code: basic-matrix.lisp
• List of all known theories

Theory documentation:

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.

Notes:

• (c) 1993, 1994 Gregory R. Olsen, Yves Peligry, and Thomas R. Gruber
  
• See-Also: The EngMath paper on line

Cross Reference Report:

Theories included by Basic-Matrix-Algebra:

  Frame-Ontology

Theories that include Basic-Matrix-Algebra:

  Tensor-Quantities

9 classes defined:

    Matrix
       Column-Matrix
       Diagonal-Matrix
       Row-Matrix
       Square-Matrix
          Diagonal-Matrix
          Identity-Matrix
          Invertible-Matrix
          Orthogonal-Matrix
    Zero-Element

No relations defined.

17 functions defined:

  *
  +
  -
  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

No instances defined.

9 classes defined:

  Column-Matrix
  Diagonal-Matrix
  Identity-Matrix
  Invertible-Matrix
  Matrix
  Orthogonal-Matrix
  Row-Matrix
  Square-Matrix
  Zero-Element

All constants that were mentioned were defined.