Displaying similar documents to “Ascent sequences and upper triangular matrices containing non-negative integers.”

Determinant and Inverse of Matrices of Real Elements

Nobuyuki Tamura, Yatsuka Nakamura (2007)

Formalized Mathematics

Similarity:

In this paper the classic theory of matrices of real elements (see e.g. [12], [13]) is developed. We prove selected equations that have been proved previously for matrices of field elements. Similarly, we introduce in this special context the determinant of a matrix, the identity and zero matrices, and the inverse matrix. The new concept discussed in the case of matrices of real numbers is the property of matrices as operators acting on finite sequences of real numbers from both sides....