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