|
|||||
|
|
| 中国数学家的一项领先成就——吴文俊等在定理机器证明方面的重大突破 | |
| 作者姓名： | 井中 |
| 摘 要： | 追求机械方法解题是中国古代数学的一个优秀传统,中国古代著名的数学著作《九章算术》的基本思路,就是把数学问题分门别类,再以机械方法逐类予以解决。 17世纪以后,西方一些卓有远见的数学大师也曾为数学的机械化 |
| 本文献已被 CNKI 等数据库收录！ | |
|
||||||||||||
|
||||||||||||
|
||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |