Currently displaying 1 – 2 of 2

Showing per page

Order by Relevance | Title | Year of publication

Determinant and Inverse of Matrices of Real Elements

Nobuyuki Tamura;  Yatsuka Nakamura — 2007

Formalized Mathematics

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. The relations...

A Theory of Matrices of Real Elements

Yatsuka Nakamura;  Nobuyuki Tamura;  Wenpai Chang — 2006

Formalized Mathematics

Here, the concept of matrix of real elements is introduced. This is defined as a special case of the general concept of matrix of a field. For such a real matrix, the notions of addition, subtraction, scalar product are defined. For any real finite sequences, two transformations to matrices are introduced. One of the matrices is of width 1, and the other is of length 1. By such transformations, two products of a matrix and a finite sequence are defined. Also the linearity of such product is shown....

Page 1

Download Results (CSV)