期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到5篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
矩阵的证明及运算在Mizar系统下的实现
1
作者 梁希泉 刘玲玲 姜西春 《数字技术与应用》 2011年第3期114-116,共3页
本文在计算机上利用有限序列的复合映射给出了矩阵在Mizar系统下的定义,实现了可逆矩阵、对称和反对称矩阵、相似矩阵、合同矩阵等特殊矩阵的定义,给出了与上述矩阵有关的一些定理的计算机证明,并实现了矩阵的初等变换及相关运算。
关键词 矩阵 mizar 初等变换
在线阅读 下载PDF
Euler函数性质在Mizar系统下的实现
2
作者 荆禄旭 《河西学院学报》 2013年第5期36-40,共5页
在计算机上利用有限序列的理论性质给出了Euler函数在Mizar系统下的定义,给出了与Euler函数有关的一些定理和性质的证明,并实现了算术基本定理在Mizar系统下的实现.
关键词 EULER函数 mizar 算术基本定理
在线阅读 下载PDF
二元函数偏微分的Mizar实现
3
作者 周桂如 《安徽电子信息职业技术学院学报》 2012年第6期59-61,69,共4页
在Mizar语言下实现了多元函数的微分,借助其微分建立起欧氏空间中二元函数偏微分定义的新形式,讨论了二元函数偏微分的运算性质及可微。在Mizar系统下,首次实现了二阶偏微分的Mizar表述,定义的形式简洁明了,并完成了相应的运算公式和定理。
关键词 数学机械化 mizar语言系统 形式化数学
在线阅读 下载PDF
循环矩阵和反循环矩阵的证明及运算在Mizar系统下的实现
4
作者 刘玲玲 姜西春 《枣庄学院学报》 2011年第2期60-64,共5页
本文在计算机上利用复合映射给出了循环矩阵和反循环矩阵在Mizar系统下的定义,实现了其相关定义和基本性质的Mizar表示,其中所有定理、定义的实现过程的可行性都已经过Mizar检验系统的验证.
关键词 循环矩阵 反循环矩阵 mizar
在线阅读 下载PDF
次对称矩阵与反次对称矩阵的Mizar实现
5
作者 王涛 《河西学院学报》 2012年第5期19-22,共4页
在计算机上基于Mizar系统下矩阵的定义,给出次对称矩阵与反次对称矩阵的属性定义.并在此基础上证明了次对称矩阵和反次对称矩阵的部分基本性质,以及相关定理.
关键词 次对称矩阵 反次对称矩阵 mizar
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部