论文部分内容阅读
本文在计算机上利用复合映射给出了循环矩阵和反循环矩阵在Mizar系统下的定义,实现了其相关定义和基本性质的Mizar表示,其中所有定理、定义的实现过程的可行性都已经过Mizar检验系统的验证.
循环矩阵和反循环矩阵的证明及运算在Mizar系统下的实现
【摘 要】
：
本文在计算机上利用复合映射给出了循环矩阵和反循环矩阵在Mizar系统下的定义,实现了其相关定义和基本性质的Mizar表示,其中所有定理、定义的实现过程的可行性都已经过Mizar
【机 构】
：
青岛科技大学
【出 处】
：
枣庄学院学报
【发表日期】
：
2004年期
其他文献
随着国民经济的蓬勃发展和人民生活水平的不断提高，家庭汽车拥有量迅速增加，使得建造大型、特大型地下汽车库成为未来小区建设的必然趋势。本文根据居住区地下汽车库的特点，从给
The phase relations at the 600℃ and 700℃ isothermal sections of the ternary systems R-Co-B for R= Nd, Pr and R = Sm, Gd respectively were summarized in this p
美克化工循环水系统主要为甲醇制氢装置、甲醛装置、维美乙炔装置、BDO装置、THF装置、空分空压及冷冻装置等提供循环冷却水。
设计的发展与社会的发展密不可分，它由经济、文化、政治等多种因素决定。不同时代，设计的表示形式多元化，并对推动社会的进步起着积极作用。本文从人性化住宅设计和绿色生态建筑
目前国内以聚驱、三元复合驱为主的三次采油矿场试验进入实施阶段，地层压力环境、储层流体介质再次发生较大变化，影响调整井固井质量主导因素已由以往的低渗高压层转为高渗低压
本文以某工程为例，简述了钢结构在厂房施工管理，做好工项目进度计划的检查为了进行进度控制,进度控制人员应经常地、定期地跟踪检查施工实际进度情况,收集施工项目进度材料,进
随着我国国民经济的高速发展和人民生活水平的不断提高，以及建筑师设计理念“人性之于建筑”的提升，建筑物越来越向高层、高档、多功能方向发展。因此建筑幕墙产品也必然向高新