【摘 要】
：
【正】 《几何定理机器证明的基本原理》一书获第四届全国优秀科技图书奖一等奖。书的著者吴文俊教授是国际知名的数学家,中国科学院学部委员,系统科学研究所的研究员。关于
论文部分内容阅读
【正】 《几何定理机器证明的基本原理》一书获第四届全国优秀科技图书奖一等奖。书的著者吴文俊教授是国际知名的数学家,中国科学院学部委员,系统科学研究所的研究员。关于几何定理机器证明是指用计算机证明几何定理,即抛开纸笔,让计算机通过人编制的程序来证明几何定理的成立与否。自远古以来,随着社会的发展与进步,计算已达到了相当高的水平,特别是由于近代计算机的出现,已使机械的计算方法得以充分发挥作用。然而对于证明,虽然早在17世纪莱布尼兹(Leibniz)和笛卡尔(Descartes)都曾先后提出过类似于机械化的
其他文献
正2011年,朔州地税系统建立市、县(区)两级征管质量监控分析体系,实施了全员考核制度,有效地解决了过去管户信息基础不扎实,管理员责任意识淡薄,基层操作人员素质参差不齐等
【正】 解放以来,整理出版过不少古典文学著作,目前读者接触的大多是这些出版物。古典文学中有一些脍炙人口的名著,读者面十分广泛,黄口孺子和白发老翁捧读的可能是同一作品
《简·爱》是英国女作家夏洛蒂·勃朗特创作的一部具有自传性质的小说。作品中对主人公不同成长环境的描述,折射了英国当时的社会现状,具有深广的现实批判意义,同时
本文列举了统计知识在生活的方方面面的应用,对提高学生应用所学知识,解决问题的能力十分有益.
【正】 大凡一本书的问世,都要有一篇序言.自古以来.序各有异,但编辑给作者写序,即使难下“旷古”、“空前”的断语,微乎其微却是可以肯定的。辽宁人民出版社最近出版的《艺
"十二五"时期是全面建设小康社会的关键时期,是深化改革开放、加快转变经济发展方式的攻坚时期,也是实现吕梁转型跨越发展、迈向全省经济强市行列的重要时期。吕梁能否实现加
目的 探讨抗青光眼滤过术后行超声乳化白内障吸除术的临床效果。方法 选取我院2015年8月～2016年11月收治的80例抗青光眼滤过术后白内障患者,根据治疗方式的不同分为观察组和对
【正】朔州市财政局积极适应新形势,全面落实科学发展观,把干部教育培训作为一项事关改革发展的战略性、基础性工作来抓,以培养提高干部素质和能力为目标,以新理念、新思路、
【正】 1988年将是我国出版事业持续稳步协调发展的一年。图书市场的特点将是: 一、出版物品种多样、质量提高。随着出版事业体制改革的不断深化,多数出版社将调整出书结构,
目前我国物价过快上涨主要表现在以下几个方面:第一,城市住房价格居高不下,增速过快,泡沫严重。中国社科院12月8日发布《住房绿皮书:中国住房发展报告(2010-2011)》显示,