首页 > 《河西学院学报》 > 2012年5期 > 次对称矩阵与反次对称矩阵的Mizar实现

次对称矩阵与反次对称矩阵的Mizar实现

打印

在线阅读下载PDF 导出详情

摘要在计算机上基于Mizar系统下矩阵的定义，给出次对称矩阵与反次对称矩阵的属性定义．并在此基础上证明了次对称矩阵和反次对称矩阵的部分基本性质。以及相关定理．

DOI 5jox0ye0jv/1174236

作者王涛

机构地区不详

出处《河西学院学报》 2012年5期

关键词次对称矩阵反次对称矩阵 Mizar

分类 [文化科学][高等教育学]

出版日期 2012年05月15日（中国Betway体育网页登陆平台首次上网日期，不代表论文的发表时间）

相关文献

1陈特清;徐金平;谢溪庄.实次对称矩阵的推广与次对称变换.教育学,2012-10.
2许永平.次对称矩阵及一些结论.教育学,1997-02.
3臧正松.对称矩阵与反对称矩阵广义特征值反问题的拓广.基础数学,2006-01.
4曹清喜;曹少中.超对称矩阵与数论猜想.教育学,1998-02.
5田素霞 ;李淑玲.二元对称循环矩阵的逆矩阵.职业技术教育学,2004-06.
6刘玉波.次对角占优矩阵和次Hermite矩阵的某些应用.基础数学,1993-03.
7彭振赟.广义对称矩阵反问题有解的条件.基础数学,2002-02.
8周晓.矩阵对称换行换列变换的性质.基础数学,1996-03.
9彭文华.对称矩阵的两特征值问题.基础数学,2004-03.
10李庆宏.实对称矩阵投影算子的单调性质.高等教育学,2003-01.

来源期刊

河西学院学报

相关推荐

同分类资源更多

相关关键词

次对称矩阵反次对称矩阵 Mizar

返回顶部