“机器证明”第一人——吴文俊

• 作者: 徐永忠
• 来源期刊: 数学大世界：高中生数学辅导
• 学科: 数学
• 关键词: 吴文俊 创新思想 中国传统数学 机械化证明 初等几何定理
• 年，卷（期）: 2003,（1）
• 页码范围: 3
• 页数: 1页
• 分类号: O1-09
• 语种: 中文

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐永忠		6	0	0.0	0.0