导读:本文包含了机械化数学论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:数学,数学家,孤子,机器,作业,公理,东西南北。
机械化数学论文文献综述
尹传红,杜爱军[1]（2019）在《吴文俊：用数学机械化征服世界》一文中研究指出吴文俊所倡导的数学机械化研究,一方面继承了古代中国数学思想的精华,另一方面也适应了现代科学技术的发展。他的数学机械化方法已成功地应用于物理规律的发现、机器人学、计算机视觉以及促进现代数学研究等重大高科技前沿领域。1919年,也就是"五四运动"爆发的那一年,吴文俊出生于上海。早年他就读于交通大学(现西(本文来源于《知识就是力量》期刊2019年11期）
王渝生[2]（2019）在《高山仰止 文俊大师 名闻东西南北国 寿比珠穆朗玛峰 拓扑地震 人工智能 开创数学机械化 吴氏微笑驻心田》一文中研究指出刚刚过去的5月12日,是母亲节、佛诞日,也是吴文俊大师诞辰100周年纪念日。古今中外,凡到达极致的真、善、美,都是相互关联的。100年前的5月12日,在上海一个普通知识分子家庭里,一个普通的母亲生下了一个普通的小男孩,他后来成长为一位伟大的数学家,他就是吴文俊。吴文俊早年毕业于交通大学,教过5年中学数学,1946年被拓扑大师陈省身看中,带到南京中央研究院研究拓扑学,1947年负笈西欧留学,1949年获法国国(本文来源于《中国科技教育》期刊2019年05期）
王积社[3]（2019）在《知识生成化、计算机械化:高职院校高等数学教学改革之路》一文中研究指出基于"过程→生成"教学理念及数学机械化思想,提出了"知识生成化、计算机械化"的高等数学教学、教材改革的设想。知识生成化有益于理解知识、提高素养、发展思维、积储创造潜力;计算机械化有益于提高学习兴趣、降低计算难度、提高计算技能。(本文来源于《长治学院学报》期刊2019年02期）
余玮[4]（2017）在《吴文俊 “数学机械化之父”的圆满句号》一文中研究指出国际机器证明研究领域的权威人物J.S.穆尔这样评价:"在吴文俊之前,机械化的几何定理证明处于黑暗时期,而吴的工作给整个领域带来光明。"吴文俊对于今天的中国老百姓来说,或许一些人很陌生,但是,他对于中国发展,对于中国数学,对于中国科技,对于中国走向复兴,走向世界强大,却作出了不朽的贡献。第一次在电话中听到不断传出的乐呵呵的声音,眼前就能显现出一位鹤发童颜、乐观开朗的老先生。他早已是银发满(本文来源于《中华儿女》期刊2017年10期）
王渝生[5]（2017）在《从寓理于算到数学机械化 引领中国传统数学的复兴 从机器证明到机械化数学 中国数学发展新的里程碑》一文中研究指出吴文俊(1919.5.12—2017.5.7),祖籍浙江嘉兴,出生于上海,1940年毕业于交通大学数学系,1949年获法国斯特拉斯堡大学博士学位;1956年获首届国家自然科学一等奖;1957年当选为中国科学院学部委员(院士);1979年获中国(本文来源于《中国科技教育》期刊2017年05期）
蔡炜凌,丁日佳,陈翔,赵鑫,付小林[6]（2017）在《基于信息熵-模糊数学的岩巷掘进机械化作业线选择方法研究》一文中研究指出为缓解日益紧张的采掘矛盾,合理降低掘进成本,提高岩巷的综掘水平。通过理论分析、实地调研和数据处理手段,选择有效区别度量的质量、成本、工期、劳动强度、安全程度和工作环境等因素作为决策变量,利用熵理论,深入挖掘数据之间的内在联系。构建了基于"信息熵-模糊数学"的岩巷掘进"机械化作业线选择方法数学模型",用于指导煤矿岩巷掘进机械化作业线的选择。在霍州煤电甘河矿二采区运输巷成功应用,取得了良好的经济和社会效益。(本文来源于《煤炭工程》期刊2017年01期）
张鸿庆,梅建琴[7]（2016）在《数学机械化与数学道理化》一文中研究指出以中国传统文化为底蕴、机械化和道理化为特色的中国传统数学,曾经取得光辉的成就.将这些思想用于计算机科学、孤子理论和量子场论,不仅可以系统地产生已有结果,还可以开辟新的研究方向,取得重大突破.(本文来源于《应用数学和力学》期刊2016年07期）
操秀英[8]（2016）在《“矛盾”的数学家——中国数学机械化、拓扑学研究的奠基者吴文俊》一文中研究指出20世纪70年代后期,在计算机技术大发展的背景下,他继承和发展了中国古代数学的传统(即算法化思想),转而研究几何定理的机器证明,彻底改变了这个领域的面貌,是国际自动推理界先驱性的工作,被称为"吴特征列方法",产生了巨大影响。(本文来源于《中国科技奖励》期刊2016年06期）
唐琳[9]（2015）在《数学机械化:让数学更加实用——数学机械化领域吴文俊、高小山侧记》一文中研究指出2011年,一场"数学之争"让很多人至今仍记忆犹新。华中科技大学的一名新生致信校长论证文科是否需要学数学。正可谓一信激起干层浪,一时间,关于学习数学究竟有何意义的讨论在学术界广泛展开。数学的意义何在?是否真的犹如"屠龙之技"一般毫无用武之地?(本文来源于《科学新闻》期刊2015年12期）
梁芳[10]（2014）在《数学机械化视野中算法与公理法的辩证统一》一文中研究指出算法与公理法是数学发展中的一对基本矛盾,它们的交互运动推动了人类数学的发展,也造成了东西方数学的不同特点.历史上曾一度被割裂地看待,然而在计算机高速发展的今天,二者正在趋于辩证统一.算法与公理法的辩证统一观有利于对数学和数学本质更全面、更理性的理解,有助于对算法意义的认识,有助于促进构造性数学及其相关学科的发展,有助于数学成果由手工时代向机器时代的加速发展.(本文来源于《中央民族大学学报(自然科学版)》期刊2014年04期）
机械化数学论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
刚刚过去的5月12日,是母亲节、佛诞日,也是吴文俊大师诞辰100周年纪念日。古今中外,凡到达极致的真、善、美,都是相互关联的。100年前的5月12日,在上海一个普通知识分子家庭里,一个普通的母亲生下了一个普通的小男孩,他后来成长为一位伟大的数学家,他就是吴文俊。吴文俊早年毕业于交通大学,教过5年中学数学,1946年被拓扑大师陈省身看中,带到南京中央研究院研究拓扑学,1947年负笈西欧留学,1949年获法国国
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
机械化数学论文参考文献
[1].尹传红,杜爱军.吴文俊：用数学机械化征服世界[J].知识就是力量.2019
[2].王渝生.高山仰止文俊大师名闻东西南北国寿比珠穆朗玛峰拓扑地震人工智能开创数学机械化吴氏微笑驻心田[J].中国科技教育.2019
[3].王积社.知识生成化、计算机械化:高职院校高等数学教学改革之路[J].长治学院学报.2019
[4].余玮.吴文俊“数学机械化之父”的圆满句号[J].中华儿女.2017
[5].王渝生.从寓理于算到数学机械化引领中国传统数学的复兴从机器证明到机械化数学中国数学发展新的里程碑[J].中国科技教育.2017
[6].蔡炜凌,丁日佳,陈翔,赵鑫,付小林.基于信息熵-模糊数学的岩巷掘进机械化作业线选择方法研究[J].煤炭工程.2017
[7].张鸿庆,梅建琴.数学机械化与数学道理化[J].应用数学和力学.2016
[8].操秀英.“矛盾”的数学家——中国数学机械化、拓扑学研究的奠基者吴文俊[J].中国科技奖励.2016
[9].唐琳.数学机械化:让数学更加实用——数学机械化领域吴文俊、高小山侧记[J].科学新闻.2015
[10].梁芳.数学机械化视野中算法与公理法的辩证统一[J].中央民族大学学报(自然科学版).2014
论文知识图
