几何定理机器证明理论与算法的新进展

来源 :中国科技奖励 | 被引量 : 0次 | 上传用户:sihuajian
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
其他文献
神华河北国华定洲发电有限责任公司(以下简称定洲电厂)锅炉烟尘排放浓度为19mg/m^3,远远低于国家环境保护总局标准GB13223—2003《火电厂大气污染物排放标准》中规定最高200mg/m^3
建设高产高效矿井是我国煤炭工业发展的方针。文章结合国内建成的第一个亿吨级大型煤炭生产基地神东煤炭分公司高产高效矿井建设情况,从矿井设计、生产与装备技术、信息化自
通过阐述对C70车型的适应性翻车机改造中存在安全距离不足的问题,创新性引入小拨车机以解决人身安全风险问题,并适当提高了设备翻卸效率,有力地保证发电机组的燃煤需要。
结合神华集团神东煤炭分公司榆家梁煤矿44305工作面滚筒采煤机综合自动化开采技术的研究与实践,论述了采煤机记忆割煤技术、液压支架与采煤机联动技术、液压支架与采煤机的远
王旭东部长日前指出.未来五年是通信发展的关键时期在制订“十一五”通信发展规划时.一定要与国民经济和社会发展的总体规划相衔接.相适应。全行业一定要重新审视我们的观念,认真
应用^131Ⅰ治疗甲状腺功能亢进(下称甲亢)276例,随访148例,现对其疗效加以分析,以利于指导今后工作。1临床资料临床确诊甲亢148例,并随访,女108例,男40例,男女之比为40/108,年龄在25~26岁
激励的误区激励是管理工作中必不可少的一项职能.在现实生活中,管理者经常有这样的困惑--尽管采用了大量的激励政策,为什么员工总不能按我们所希望的、要求的、渴望的方式行
科技工作者肩负历史重任要勇创辉煌业绩──在国家科技奖励者代表座谈会上的讲话宋健(1996年1月30日)昨天,在人民大会堂举行隆重的授奖大会,对1995年度国家科技奖的获奖者进行了表彰。刚才江