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

• 作者: 刘玲玲 姜西春 梁希泉
• 来源期刊: 数字技术与应用
• 学科: 工学
• 关键词: 矩阵 Mizar 初等变换
• 年，卷（期）: 2011,（3）
• 所属期刊栏目: 软件设计开发
• 页码范围: 114-116
• 分类号: TP312
• 字数: 1427字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	梁希泉		9	24	3.0	4.0
2	刘玲玲		2	0	0.0	0.0
3	姜西春		2	0	0.0	0.0