关键词: 吴文俊  国家最高科技奖  中国科学院院士  数学机械化  数学家  国际影响  科学研究  自然科学  

2017年第10期 《环球人物》

关键词: 科技综合实力  智能化工程  创新成果  自主知识产权  动物群  自动化生产线  数学机械化  先导性产业  重大  

2005年第18期 《福建纸业信息》

关键词: 数学机械化  现代数学  物理规律  吴文俊  计算机视觉  机器人学  高科技  前沿领域  

2019年第11期 《知识就是力量》

关键词: 诞辰100周年  吴文俊  数学教育思想  院士  纪念  数学机械化  数学大师  拓扑学  

2019年第09期 《数学教学》

关键词: 数学机械化  系统科学  征稿简则  国家最高科技奖  交叉科学  学术论文  核心期刊  机器证明  

2019年第07期 《系统科学与数学》

关键词: 交叉科学  数学机械化  读者对象  系统科学与数学  科学技术报告  国内核心期刊  吴文俊  学术动态  

2019年第09期 《系统科学与数学》

关键词: 超级画板  数学机械化  几何定理  几何画板  平台软件  智能教育  可视化  证明  

2012年第87期 《考试周刊》

关键词: 离散数学  理论计算机科学  信息时代  计算机网络  软件产业  数学机械化  数学基础  数学研究  信息技术  研究中心  

2008年第12期 《考试周刊》

关键词: 吴文俊  吴大猷  王东明  数学机械化  李政道  

2019年第10期 《科学24小时》

关键词: 吴文俊  拓扑学  吴示性类  吴方法  数学机械化  

2010年第04期 《咸阳师范学院学报》

关键词: 吴文俊  数学大师  中国科学院院士  陈省身  实变函数论  数学机械化  几何定理  中国数学史  微分几何  微  

2005年第32期 《初中生世界》

关键词: 计算机实现  线性代数  课程教育  计算工具  消去法  数学机械化  传递函数  定理证明  中学数学  数字信号  

2005年第02期 《中国电子教育》

关键词: 数学发展  珠算  科学技术史  数学机械化  珠心算教育  行为习惯  智力  儿童  

2019年第04期 《珠算与珠心算》

关键词: 数学机械化  特征列方法  lie对称  精确解  

2019年第02期 《黑龙江大学自然科学学报》

关键词: 数学机械化  中国  古代数学思想  算筹  

2005年第01期 《广州广播电视大学学报》

关键词: 数学机械化  吴文俊  学术思想  数学家  钱学森  

2019年第07期 《中关村》

关键词: 数学思想  吴文俊  中国科学院院士  国家最高科技奖  数学机械化  传统数学  拓扑学  可能性  

2017年第12期 《现代班组》

关键词: 数学机械化  系统科学  征稿简则  国家最高科技奖  交叉科学  学术论文  核心期刊  机器证明  

2019年第05期 《系统科学与数学》

关键词: 数学机械化  数学家  中国  学术成就  数学定理  计算机  中学  教学参考  

2004年第02期 《中学数学研究》

关键词: 中国传统数学  算法思想  新课标  教学思考  地位和作用  体系  先生  贯穿  中国古代数学  数学机械化  

2005年第03期 《数学通报》