| 新矩阵的证明及运算在Mizar系统下的实现 |
| 梁希采 刘玲玲 姜西春 |
| 关键词：矩阵 Mizar 初等变换 |
| 主要内容：本文在计算机上利用有限序列的复合映射给出了矩阵在Mizar系统下的定义,实现了可逆矩阵、对称和反对称矩阵、相似矩阵、合同矩阵等特殊矩阵的定义,给出了与上述矩阵有关的一些定理的计算机证明,并实现了矩阵的初等变换及相关运算。 |
| 《数字技术与应用》 2011(3).-114-116 |
| 全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp |
微信公众号