|
|||||
|
|
| 初等几何定理机器证明——吴方法简介 | |
| 作者姓名： | 梁肇军 |
| 作者单位： | 华中师范大学数学系!武汉430079 |
| 摘 要： | 吴文俊院士获得2000年国家科学技术最高奖,这对我们数学工作者是极大的鼓舞,他的主要成就包括代数拓扑,应用数学,数学史,几何定理的机器证明等．这里,我们介绍后者． |
| 关 键 词： | 数学史 机器证明 几何定理 简介 初等几何 应用数学 工作者 代数拓扑 吴方法 吴文俊 |
| 本文献已被 CNKI 维普 等数据库收录！ | |
|
||||||||||||||||||
|
||||||||||||||||||
|
||||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |