一个古老的梦实现了!——几何定理机器证明的吴法浅谈

我国著名数学家吴文俊教授近年来在几何定理的机器证明方面取得了开创性的成果,他发明的方法被誉为“吴法”。《一个古老的梦实现了!——几何定理机器证明的吴法浅谈》对此作了深入浅出的介绍。

森林资源综合评价指标

随着人类活动对森林资源消长影响的不断增大,单是根据森林面积或蓄积量等单项指标来评价一个国家的森林资源状况和经营水平,已经显得不够完善,而只按造林数量、成活率、生长量和采伐量的抵偿水平,也不能充分反映森林资源的保证程度。为了全面估价一个国家或地区的森林资源状况和进行相互比较,需要有一个综合性指标。

欧几里德欠下的一笔老债

被无数高手名师反复耕耘了两千多年的初等几何园地,似乎已不会有什么新的值得一谈的东西了吧?然而,当代数学教育改革的呼唤,使我们在这个园地中发现了一片新的天地。

再谈欧几里得欠下的一笔老债

从几何到三角,再到解析几何,历史上经过了一千多年的历程,逻辑上也需要一系列环节的过渡(甚至革命)。而用面积方法,便能轻而易举地跨越这一千多年的时光,并使原有的一系列逻辑环节成为不再必要的累赘。

中国数学家的一项领先成就——吴文俊等在定理机器证明方面的重大突破

追求机械方法解题是中国古代数学的一个优秀传统,中国古代著名的数学著作《九章算术》的基本思路,就是把数学问题分门别类,再以机械方法逐类予以解决。 17世纪以后。

阿穆尔地区女真人对黑色金属加工的工艺问题

在女真族金王朝以前的百多年间,远东通古斯语族各部落在社会,经济和政治诸领域都有了长足的进步,因而在公元12世纪初建立金王朝是一个完全合手规律的阶段。在这方面文字的记载不多,有时还对这类书件做了曲解。所以最合理的,应该是以考古的实物做为研究经济的依据,这样既能全面探讨人们营生活动的水平,也能研究其个别方面。