A complete algorithm for automated discovering of a class of inequality_type theorems

来源 :黑龙江科技学院学报 | 被引量 : 0次 | 上传用户:xliang677
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7<
其他文献
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
[摘 要]沈阳要实现经济发展和产业升级,需要逐步构建自主创新体系,而对俄科技合作无疑是其中的一个重要因素。本文从解读自主创新的内涵和模式出发,分析了沈阳与俄罗斯科技合作的基础和条件,进而提出了沈阳市开展对俄科技合作的对策建议。  [关键词]国际贸易;俄罗斯;科技合作;沈阳;自主创新  [中图分类号]F74;F20 [文献标识码]A [文章编号]1672-2426(2008)08-0040-03  
【摘要】新的《课程标准》着重强调了“探究性学习”的方法,“探究性学习”已经成为一种新的教学模式,是教学改革的新理念,它的出观标志着我国的教育已从继承性学习转向创新性学习,探究性学习就是学生在教师的指导下,以科学研究的方式去学习,让学生体验、理解和应用探究问题的方法,培养创新精神和实践能力,培养学生数学探究性学习的能力。  【关键词】数学教学;能力;探究性学习  探究性学习就是学生在教师的指导下,以
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
能源是国家经济社会可持续发展最重要的物质基础之一,能源安全与可持续发展是国家重大战略.党中央高度重视能源安全战略,习近平总书记在党的十九大报告中提出,“推进绿色发展
期刊
期刊
尊重我们一般理解的尊重都是自下而上的,仰视的时候,尊重油然而生。但多数时间我们遇到的是平视甚至俯视,我们还能不能保持尊重?怎样保持?尊重是一种情绪,动物也具备。但动
期刊
在对己有的黑土区侵蚀沟分级分类研究成果总结基础之上,结合侵蚀沟现场实地调查,分别选择30条浅沟、切沟和冲沟作为研究对象,利用模糊聚类法,以侵蚀沟长度、平均宽度及平均深
This paper analyzes the feasibility of the remote check and acceptance of product and presents an architecture through which the remote product check and accept
期刊