切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
Automated Theorem Proving Practice with Null Geometric Algebra
Automated Theorem Proving Practice with Null Geometric Algebra
来源 :黑龙江科技学院学报 | 被引量 : 0次 | 上传用户:liuqingsong835200
【摘 要】
:
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
【作 者】
:
LI Hongbo
【机 构】
:
Key Laboratory of Mathematics Mechanization, Academy of Mathematics and Systems Science, University
【出 处】
:
黑龙江科技学院学报
【发表日期】
:
2019年1期
【关键词】
:
Automated theorem discovering
automated theorem extending
automated theorem prov
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7<
其他文献
1-壬烷基硫醇稳定的金纳米粒子的二维自组织
报道一种由硫醇稳定的小尺寸金纳米粒子形成的二维六方密堆积有序结构. 这种结构是通过将含有金纳米粒子的甲苯溶胶滴在平整基底上而自发形成的. 金纳米粒子主要是利用相转移
期刊
金纳米粒子
表征
二维自组织
Viral MIPa homologous with human MIP-1a acts on HIV co-receptor CCR5
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
peripheral blood
HIV infection
体育课程改革中的辩证思想
随着《体育与健康课程标准》的颁布实施,我国学校体育课程改革在深度和广度上持续推进,来自体育课程改革实践中的各种问题也逐渐显现出来。这些问题总的分为两类:一类是课程改革指导思想或者课程改革的理论在向课程具体实践转化过程中必然要出现的,比如体育课程管理尚未配套、课程资源开发不足、新教学方式操作技能不高、教学效果短期下降等;第二类问题则是由实施新课程指导课程标准的理念所致,如果忽略了课程理念与课程改革实
期刊
体育课程改革
健康课程标准
校体育课程
新课程标准
改革实践
问题
课程资源开发
新教学方式
指导思想
学校
实施困难
课程理念
课程管理
教学效果
改革操作
基于胜任力的高校辅导员培训方案
高校辅导员是大学生成长和发展过程中的重要人生导师.本文通过对辅导员胜任力模型的研究,提出了基于胜任力的辅导员培训方案,包括提升自身的政治素养、完善自身的知识结构、
期刊
辅导员
胜任力
辅导员培训
由可精确测量元控制的效应代数上的态
证明了由可精确测量元控制的Archimedes原子格效应代数能被所谓的元素基本分解性质所刻画.做为应用,证明了这类效应代数的态弥漫定理.
期刊
效应代数
可精确测量元
态
由可精确测量元控制的效应代数
态的弥漫
Self-evident Automated Proving Based on Point Geometry from the Perspective of Wu's Method Iden
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
不同压力和温度下Rh3Ta金属间化合物的热弹性、硬度与热力学性质研究
通过基于DFT的第一性原理,研究了不同压力和温度下金属间化合物Rh3 Ta的热弹性、硬度和热力学性质.通过总能量与晶胞体积的关系得到了Rh3Ta的平衡晶格参数.获得了优化的晶格
期刊
密度泛函理论
弹性性质
电子性质
金属间化合物
热力学性质
小波功率谱Monte Carlo显著性检验的一个简易方案
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
Adakites related to subduc- tion in the northern margin of Junggar arc for the Late Paleozoic: Produ
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
volcanic rocks
early Devonian
Late Paleozoic
slab melting
island arc
the world
有机酸对富勒烯吡咯烷衍生物溶液紫外光谱的影响
合成表征了在C60吡咯烷上连有吡啶基的衍生物1, 研究加酸后其紫外光谱的变化, 观察到在该衍生物的溶液中加入有机强酸如:三氟乙酸或对甲苯磺酸, 其紫外光谱与本身相比发生了蓝
期刊
富勒烯
吡咯烷
电荷转移复合物
与本文相关的学术论文