节点文献

矩阵的证明及运算在Mizar系统下的实现

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 梁希泉； 刘玲玲； 姜西春；

【机构】 青岛科技大学；

【摘要】 本文在计算机上利用有限序列的复合映射给出了矩阵在Mizar系统下的定义,实现了可逆矩阵、对称和反对称矩阵、相似矩阵、合同矩阵等特殊矩阵的定义,给出了与上述矩阵有关的一些定理的计算机证明,并实现了矩阵的初等变换及相关运算。

【关键词】 矩阵； Mizar； 初等变换；
  • 【文献出处】 数字技术与应用 ,Digital Technology & Application , 编辑部邮箱 ,2011年03期
  • 【分类号】O151.21
  • 【下载频次】48
知网节下载
节点文献中： 

本文链接的文献网络图示:

本文的引文网络
二级参考文献(0)
参考文献(0)
共引文献(0)
节点文献
同被引文献(0)
引证文献(0)
二级引证文献(0)