论文部分内容阅读
在计算机上基于Mizar系统下矩阵的定义，给出次对称矩阵与反次对称矩阵的属性定义．并在此基础上证明了次对称矩阵和反次对称矩阵的部分基本性质。以及相关定理．
次对称矩阵与反次对称矩阵的Mizar实现
【摘 要】
：
在计算机上基于Mizar系统下矩阵的定义，给出次对称矩阵与反次对称矩阵的属性定义．并在此基础上证明了次对称矩阵和反次对称矩阵的部分基本性质。以及相关定理．
【机 构】
：
青岛科技大学数理学院
【出 处】
：
河西学院学报
【发表日期】
：
2012年5期
其他文献
文章在对财务共享服务中心相关研究文献回顾总结的基础上,基于2019年我国中央企业财务共享服务中心建设情况的相关数据,对中央企业财务共享服务中心的建设现状进行了分析,报
目的探讨脊柱手术后手术部位感染的危险因素,为感染控制提供依据。方法回顾性分析516例脊柱外科手术患者的临床资料,未发生手术部位感染为A组;发生手术部位感染为B组,对两组
建立珠江三角洲经济区的战略意义陈和平１９９２年邓小平南巡时，要求广东用２０年时间基本上实现现代化，赶上亚洲四小龙。１９９４年７月，广东省委书记谢非在省委七届三次全会上提出建立“珠江三角洲经
目的探讨改良口腔冲洗法在预防呼吸机相关性肺炎（VAP）中的应用及效果，以便更好为人工气道行机.械通气的患者提供护理。方法将60例行经口气管插管并给予机械通气治疗〉48 h患者随
汶莱立国哲学（ＭＩＢ）黄云静立国哲学，简单来说就是一个国家的建国指导思想与理论基础。每个独立国家都有自己的立国哲学。汶莱于１９８４年１月１日正式脱离英国的保护而独立。如同其他曾经经历过
目的调查分析发生在广州市某高等医学院八年制医学见习生一起聚集性水痘疫情,为临床医学见习生职业安全管理和医院感染防控提供参考。方法 2011年11月对医学见习生水痘疫情进
目的调查城区非孕妇女阴道假丝酵母菌属感染状况及其影响因素,为防治该疾病提供科学依据。方法对城区554例非孕妇女进行阴道假丝酵母菌属检测,按1∶1配比法选取未感染者作为
西藏民族传统体育是西藏体育事业发展的重要组成部分,对满足藏族同胞对美好体育生活的向往、促进藏族同胞身心健康、提高藏族同胞体质健康水平和丰富藏族同胞业余文化生活等
国际私法教学分为基本理论编、法律适用编和国际民事争议解决编三个不同阶段。每个阶段的教学内容具有不同特点,应分别采用相对应的教学方法,以便学生准确理解和掌握知识。国