您的位置： 专家智库 > >

姜西春

作品数：3 被引量：0H指数：0
供职机构：青岛科技大学更多>>
相关领域：理学自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇期刊文章
  • 1篇学位论文

领域

  • 2篇自动化与计算...
  • 2篇理学

主题

  • 2篇矩阵
  • 1篇对偶
  • 1篇对偶空间
  • 1篇循环矩阵
  • 1篇矩阵和
  • 1篇机器证明
  • 1篇反循环矩阵
  • 1篇泛函
  • 1篇泛函分析
  • 1篇初等
  • 1篇初等变换

机构

  • 3篇青岛科技大学

作者

  • 3篇姜西春
  • 2篇刘玲玲
  • 1篇梁希泉

传媒

  • 1篇数字技术与应...
  • 1篇枣庄学院学报

年份

  • 3篇2011
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
线性空间中泛函及对偶空间在Mizar语言下的实现
目前，随着计算机技术的发展，机器证明已经成为一个非常活跃的研究领域。人们根据机械化方法成功创建了各种机器语言来编写程序，并在计算机上实现了数学问题的机器证明。欧洲最常用的机器证明系统是Mizar语言系统，该系统参与研究者...
姜西春
关键词：对偶空间机器证明泛函分析
循环矩阵和反循环矩阵的证明及运算在Mizar系统下的实现
2011年
本文在计算机上利用复合映射给出了循环矩阵和反循环矩阵在Mizar系统下的定义,实现了其相关定义和基本性质的Mizar表示,其中所有定理、定义的实现过程的可行性都已经过Mizar检验系统的验证.
刘玲玲姜西春
关键词：循环矩阵反循环矩阵
矩阵的证明及运算在Mizar系统下的实现
2011年
本文在计算机上利用有限序列的复合映射给出了矩阵在Mizar系统下的定义,实现了可逆矩阵、对称和反对称矩阵、相似矩阵、合同矩阵等特殊矩阵的定义,给出了与上述矩阵有关的一些定理的计算机证明,并实现了矩阵的初等变换及相关运算。
梁希泉刘玲玲姜西春
关键词：矩阵初等变换
全选 清除 导出
共1页<1>
聚类工具0