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

作　　者：井中 

出　　处：《瞭望》1989年第10期30-30,共1页

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

关 键 词：定理机器证明 吴文俊 中国古代数学 《九章算术》 数学大师 数学问题 数学机械化 机械方法 几何定理 初等几何 

分 类 号：D5[政治法律—政治学] D6[政治法律—国际政治]