广义循环矩阵的性质及循环矩阵在Mizar系统中的实现

摘要	第1-4页
ABSTRACT	第4-8页
1、绪论及预备知识	第8-14页
·循环矩阵的发展和基本性质	第8-10页
·矩阵的Kronecker积	第10-11页
·Mizar系统介绍	第11-13页
·本文内容及安排	第13-14页
2、广义循环矩阵及其性质	第14-29页
·引言	第14-15页
·广义范德蒙矩阵的行列式	第15-17页
·广义循环矩阵的准对角化	第17-20页
·广义循环矩阵的几种求逆方法	第20-29页
·利用行列式求逆	第20-21页
·利用矩阵分块对循环矩阵求逆	第21-23页
·特殊的广义循环矩阵的求逆公式	第23-25页
·(m,n)型二重循环矩阵逆的初等解法	第25-26页
·利用广义循环矩阵的准对角化给出循环矩阵的逆	第26-29页
3、循环矩阵在MIZAR系统中的实现	第29-53页
·引言	第29-33页
·Mizar数据库	第29页
·Mizar系统	第29-30页
·Mizar文章的结构	第30-31页
·Mizar文章的书写过程	第31-32页
·Mizar文章的提交、收录及发表	第32-33页
·循环矩阵在Mizar系统中的实现	第33-53页
·MATRIX14中环境部的设置	第33-34页
·MATRIX14中变量的设置	第34页
·MATRIX14中的定义以及证明	第34-39页
·几类特殊的循环矩阵	第39-42页
·循环矩阵的一般定理	第42-50页
·MATRIX14的最后检查和优化	第50-53页
结束语	第53-54页
参考文献	第54-57页
致谢	第57页
攻读学位期间参与的科研项目	第57页
攻读学位期间发表(完成)的学术论文目录	第57-58页