| 循环矩阵和反循环矩阵的证明及运算在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 |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
