Based on the definitions of the matrix, sub-symmetric matrix and anti-sub-symmetric matrix are defined in Mizar system. Demonstrations of their partial properties and theorems are given.%在计算机上基于Mizar系统下矩阵的定义，给出次对称矩阵与反次对称矩阵的属性定义．并在此基础上证明了次对称矩阵和反次对称矩阵的部分基本性质。以及相关定理．
展开▼
