初等几何定理机器证明——吴方法简介  

作　　者：梁肇军[1] 

机构地区：[1]华中师范大学数学系,武汉430079

出　　处：《数学通讯（教师阅读）》2001年第11期1-2,共2页Bulletin of Mathematics

关 键 词：数学史 机器证明 几何定理 简介 初等几何 应用数学 工作者 代数拓扑 吴方法 吴文俊 

分 类 号：O123[理学—数学] G633[理学—基础数学]