Some Properties of Some Special Matrices. Part II

Xiaopeng Yue, Dahai Hu, Xiquan Liang
2006 Formalized Mathematics  
This article provides definitions of idempotent, nilpotent, involutory, self-reversible, similar, and congruent matrices, the trace of a matrix and their main properties. MML identifier: MATRIX 8, version: 7.6.01 4.53.937
doi:10.2478/v10037-006-0002-3 fatcat:uvbpxeotnrggrc5qz4ivy3hhya