Currently displaying 1 – 2 of 2

Showing per page

Order by Relevance | Title | Year of publication

A Theory of Matrices of Real Elements

Yatsuka NakamuraNobuyuki TamuraWenpai 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....

Invertibility of Matrices of Field Elements

Yatsuka NakamuraKunio OniumiWenpai Chang — 2008

Formalized Mathematics

In this paper the theory of invertibility of matrices of field elements (see e.g. [5], [6]) is developed. The main purpose of this article is to prove that the left invertibility and the right invertibility are equivalent for a matrix of field elements. To prove this, we introduced a special transformation of matrix to some canonical forms. Other concepts as zero vector and base vectors of field elements are also introduced as a preparation.MML identifier: MATRIX14, version: 7.9.01 4.101.1015

Page 1

Download Results (CSV)