Currently displaying 1 – 1 of 1

Showing per page

Order by Relevance | Title | Year of publication

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)