【摘 要】
：
广州大学教授、中国科学院院士张景中最新著作中有一个机器证明几何定理的题目,引起江总书记的浓厚兴趣。2000年10月18日,江总书记亲自打电话向张景中院士询问,并关切地问及
论文部分内容阅读
广州大学教授、中国科学院院士张景中最新著作中有一个机器证明几何定理的题目,引起江总书记的浓厚兴趣。2000年10月18日,江总书记亲自打电话向张景中院士询问,并关切地问及张院士的生活和工作经历。
The latest book by Professor Guangzhou University and Chinese Academy of Sciences, Zhang Jingzhong, has a machine proof geometry theorem that has aroused the great interest of General Secretary Jiang. On October 18, 2000, General Secretary Jiang telephoned himself to Academician Zhang Jingzhong and asked with concern Mr. Zhang’s life and work experience.
其他文献
文学期刊是文学作品得以在社会中广泛传播和流通的主要形式之一,是文学作品实现由个体劳动转化为大众思想启蒙和精神享受及引导社会风向的重要途径,肩负着引导人、培养人、教
是的,现代最新的概念车i40长得确定有点索纳塔,不过你在它的身上很容易找到大量符合现代i系列车型的元素。比如硕大的六边形中网、弧形高腰线、跑车一般简短流畅的车尾,这些
我是第一次参加类似的驾驶培训,很荣幸,这也是MINI驾驶培训第一次在中国举办。同时也很走运,第一次赛道驾驶就是在号称中国最难的鄂尔多斯国际赛车场。对于那些对自己的驾驶
据新华社乌鲁木齐5月5日电 我国第一个百万吨级沙漠油田——彩南油田于4月下旬全面建成,原油年产能力达到150万吨.
According to Xinhua News Agency, Urumqi, May 5, the
ＩＦＰ生产含氧化物的Ｄｉｍａｔｏｌ新工艺７０年代法国石油研究院（ＩＦＰ）开发的Ｉｎｍｅｒｓｏｌｌ艺是利用高活性可溶性催化剂以液相使轻质烯烃生成二聚物。ＤｉｍｅｒｓｏｌＧ可加工催化裂化、蒸汽裂解或焦化生产的Ｃ。烯烃。它可用适中地投资把
W—N齿轮齿面疲劳失效的两种主要形式是点蚀与剥落。为了延缓这种齿面破坏形式,找出断裂的主要因素,本试验利用电子金相断口技术,对已损坏的实例进行了断口和断口以外的有关
由于受到近来日本经济发展趋势,特别是日元升值的影响,产业结构正在发生着很大的变化,减速机领域也同样为形势所逼.随着需要大型减速装置的领域,如钢铁、水泥、橡胶、制糖、
西北地区四所医院１９７０～１９９１年共收治１８８例小儿肝包虫病。其中男１１１例，女７７例，年龄２～１４岁。绝大多数有长期与羊、犬接触史。临床多以上腹部无痛性包块就诊（８０．９％）。约有５１．１０％的患儿表现为全身营养不良和贫血，早期易
杨丽萍的舞台创作、表演艺术生涯发轫于《孔雀公主》,发展于《雀之灵》,巅峰于《云南映象》《云南响声》,收官于《孔雀》,杨丽萍的艺术之路仿佛走过了一个圆满的轮回,而一个
在轿跑型SUV越来越流行的今天,全方位的进化才是王道。最近,英菲尼迪公司发布了其全新2012英菲尼迪FX车型的官方大图,该款车型计划于2011年10月全面登陆北美汽车市场。英菲尼