循环矩阵和反循环矩阵的证明及运算在Mizar系统下的实现 |
| |
引用本文: | 黄相森,刘玲玲,姜西春. 循环矩阵和反循环矩阵的证明及运算在Mizar系统下的实现[J]. 枣庄师专学报, 2011, 28(2): 60-64 |
| |
作者姓名: | 黄相森 刘玲玲 姜西春 |
| |
作者单位: | 青岛科技大学,数理学院,山东,青岛,266061 |
| |
摘 要: | 本文在计算机上利用复合映射给出了循环矩阵和反循环矩阵在Mizar系统下的定义,实现了其相关定义和基本性质的Mizar表示,其中所有定理、定义的实现过程的可行性都已经过Mizar检验系统的验证.
|
关 键 词: | 循环矩阵 反循环矩阵 Mizar |
Demonstrations and Operations of the Circulant and Anti-circular Matricesby software Mizar |
| |
Affiliation: | LIU Ling - ling , JIANG Xi - chun ( College of Mathematical and Physical Sciences, Qingdao University of Science &Technology, Qingdao 266061, China) |
| |
Abstract: | In this paper, we give the definitions of Circulant and Anti - circular Matricesby the method of composition mappings based on Software Mizar,and prove some basicproperties. All the definitions and theorems obtained were verified by Software Mizar. |
| |
Keywords: | Mizar |
本文献已被 维普 万方数据 等数据库收录! |
|