吴文俊与几何定理机械化证明

• 作者: 林玉忠
• 来源期刊: 中学课程辅导：教师通讯
• 学科: 教育
• 关键词: 吴文俊 几何定理 机械化证明
• 年，卷（期）: 2011,（7）
• 所属期刊栏目: 点滴
• 页码范围: 121-122
• 分类号: G641
• 字数: 1717字
• 语种: 中文

摘要

吴文俊是我国当代享誉世界的杰出数学家，人教版《普通高中课程标准实验教科书数学（必修2）》第四章圆与方程中的阅读材料“坐标法与机器证明”一文中，简单地介绍吴文俊和他的几何定理机器证明的思想。本人在教学中发现，许多中学生并不知道这位数学家，更不用说几何定理的机械化证明。本文旨在向广大中学生宣传吴文俊的学术成就和治学精神，说明几何定理机械化证明的思想和方法，激发中学生科学探究的兴趣和爱国主义情感，实现数学教材中阋读材料的价值。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	林玉忠		2	0	0.0	0.0