搜索筛选:
搜索耗时2.3754秒,为你在为你在102,285,761篇论文里面共找到 5 篇相符的论文内容
发布年度:
[学位论文] 作者：姜西春,
来源：青岛科技大学 年份：2011
目前，随着计算机技术的发展，机器证明已经成为一个非常活跃的研究领域。人们根据机械化方法成功创建了各种机器语言来编写程序，并在计算机上实现了数学问题的机器证明。欧洲最常......
[期刊论文] 作者：姜西春,
来源：天津教育 年份：2022
数学作为一门研究数量关系和空间结构形式的自然学科，具有高度的逻辑性，每个知识点之间都存在着一定的联系，并在相互联系中形成了一个完善的知识网络。学生在对数学知识进行学习的过程中，对数学知识网络的梳理与构建会直接影响学生的数学学习效果。在课程体系的改革......
[期刊论文] 作者：刘玲玲,姜西春,
来源：枣庄学院学报 年份：2011
本文在计算机上利用复合映射给出了循环矩阵和反循环矩阵在Mizar系统下的定义,实现了其相关定义和基本性质的Mizar表示,其中所有定理、定义的实现过程的可行性都已经过Mizar...
[期刊论文] 作者：梁希泉,刘玲玲,姜西春,
来源：数字技术与应用 年份：2011
本文在计算机上利用有限序列的复合映射给出了矩阵在Mizar系统下的定义,实现了可逆矩阵、对称和反对称矩阵、相似矩阵、合同矩阵等特殊矩阵的定义,给出了与上述矩阵有关的一...
[期刊论文] 作者：黄相森,刘玲玲,姜西春,
来源：枣庄学院学报 年份：2004
本文在计算机上利用复合映射给出了循环矩阵和反循环矩阵在Mizar系统下的定义,实现了其相关定义和基本性质的Mizar表示,其中所有定理、定义的实现过程的可行性都已经过Mizar...
相关搜索：
