| 次对称矩阵与反次对称矩阵的Mizar实现 |
| |
| 引用本文： | 王涛.次对称矩阵与反次对称矩阵的Mizar实现[J].河西学院学报,2012(5):19-22. |
| |
| 作者姓名： | 王涛 |
| |
| 作者单位： | 青岛科技大学数理学院,山东青岛266061 |
| |
| 摘 要： | 在计算机上基于Mizar系统下矩阵的定义,给出次对称矩阵与反次对称矩阵的属性定义.并在此基础上证明了次对称矩阵和反次对称矩阵的部分基本性质,以及相关定理.
|
| 关 键 词： | 次对称矩阵 反次对称矩阵 Mizar |
Definitions and Properties of the Sub-symmetric Matrix and Anti-sub-symmetric Matrix in Mizar |
| |
| Wang Tao.Definitions and Properties of the Sub-symmetric Matrix and Anti-sub-symmetric Matrix in Mizar[J].Journal of Hexi University,2012(5):19-22. |
| |
| Authors: | Wang Tao |
| |
| Institution: | Wang Tao(College of Mathematics and Physics, Qingdao University of Science and Technology, Qingdao, Shandong 266061, China) |
| |
| Abstract: | 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. |
| |
| Keywords: | Sub-symmetric matrix Anti-sub-symmetric matrix Mizar |
| 本文献已被 CNKI 维普 等数据库收录！ |
