# Some Properties of Some Special Matrices. Part II

Xiaopeng Yue; Dahai Hu; Xiquan Liang

Formalized Mathematics (2006)

- Volume: 14, Issue: 1, page 7-12
- ISSN: 1426-2630

## Access Full Article

top## Abstract

top## How to cite

topXiaopeng Yue, Dahai Hu, and Xiquan Liang. "Some Properties of Some Special Matrices. Part II." Formalized Mathematics 14.1 (2006): 7-12. <http://eudml.org/doc/267092>.

@article{XiaopengYue2006,

abstract = {This article provides definitions of idempotent, nilpotent, involutory, self-reversible, similar, and congruent matrices, the trace of a matrix and their main properties.},

author = {Xiaopeng Yue, Dahai Hu, Xiquan Liang},

journal = {Formalized Mathematics},

language = {eng},

number = {1},

pages = {7-12},

title = {Some Properties of Some Special Matrices. Part II},

url = {http://eudml.org/doc/267092},

volume = {14},

year = {2006},

}

TY - JOUR

AU - Xiaopeng Yue

AU - Dahai Hu

AU - Xiquan Liang

TI - Some Properties of Some Special Matrices. Part II

JO - Formalized Mathematics

PY - 2006

VL - 14

IS - 1

SP - 7

EP - 12

AB - This article provides definitions of idempotent, nilpotent, involutory, self-reversible, similar, and congruent matrices, the trace of a matrix and their main properties.

LA - eng

UR - http://eudml.org/doc/267092

ER -

## References

top- [1] Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107-114, 1990.
- [2] Czesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990.
- [3] Czesław Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990.
- [4] Katarzyna Jankowska. Matrices. Abelian group of matrices. Formalized Mathematics, 2(4):475-480, 1991. Zbl0751.54016
- [5] Katarzyna Jankowska. Transpose matrices and groups of permutations. Formalized Mathematics, 2(5):711-717, 1991.
- [6] Eugeniusz Kusak, Wojciech Leończuk, and Michał Muzalewski. Abelian groups, fields and vector spaces. Formalized Mathematics, 1(2):335-342, 1990.
- [7] Andrzej Trybulec. Tarski Grothendieck set theory. Formalized Mathematics, 1(1):9-11, 1990.
- [8] Wojciech A. Trybulec. Groups. Formalized Mathematics, 1(5):821-827, 1990.
- [9] Wojciech A. Trybulec. Vectors in real linear space. Formalized Mathematics, 1(2):291-296, 1990.
- [10] Xiaopeng Yue, Xiquan Liang, and Zhongpin Sun. Some properties of some special matrices. Formalized Mathematics, 13(4):541-547, 2005.
- [11] Katarzyna Zawadzka. The product and the determinant of matrices with entries in a field. Formalized Mathematics, 4(1):1-8, 1993.

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.