数学机械化相关论文
文章给出Ramsey定理自动证明的一个代数化方法,使用符号计算软件实现了R(3,3)=6和R(3,4)=9的自动证明,并讨论了更复杂情况的简化方......
本文以数学机械化思想和AC=BD理论为指导,以构造性变换及符号计算软件为辅助工具,从代数曲线和Riemann theta函数的角度来研究非线......
本文以数学机械化思想和AC=BD模式为指导,以计算机代数系统软件为工具,研究了孤立子理论中若干重要的孤子方程的精确求解问题,微分......
作为孤子理论中两个基本问题之一,构造可积的孤子方程一直是众多学者研究的重点.本文通过对有关孤子方程的公开问题进行讨论,给出......
随着计算机技术的发展,数学机械化受到了越来越多的关注,形式化数学是数学机械化领域的一个重要分支,即通过形式化的方式描述数学......
多项式最大公因子(GCD)的计算是计算机代数与数学机械化研究中的关键问题之一.实际应用领域中的计算问题对高性能的并行多项式GCD......
【摘 要】基于使用工具的不同,文章将初等数学研究划分为“石器时代”“农业时代”“智能时代”三个阶段,智能时代需要智能工具,智能......
作为中国著名的数学家,吴文俊是我国首届国家最高科学技术奖获得者之一,他在拓扑学、数学机械化、中国古代数学三个领域取得重要的......
现年97岁的数学家吴文俊教授依旧精神矍铄,他曾经明确指出:机器的出现延伸了人的体力,而现代计算机的出现则延伸了人的脑力。受技术进......
从国家科技部获悉,“十五”以来,我国科技综合实力明显增强,自主创新能力大幅提升,在纳米材料、量子信息、超大规模集成电路和软件......
本刊编委、国防科技大学副教授老亮编著的《中国古代材料力学史》(国防科技大学出版社,1991年10月,126千字,印1000册,定价2.30元)......
荣获“首届国家最高科学技术奖”的吴文俊院士,是中国现当代最杰出的数学家之一。他早年留学法国时,就已在拓扑学方面做出了重要......
全国计算机数学学术会议是中国数学学会计算机数学专业委员会主办的系列学术会议.第四届全国计算机数学学术会议由广州大学计算机......
介绍了AC=BD模式及其在用机械化方法求解方程和证明定理中的应用.首先证明对可单值化算子D,如果CKerD C KerA,则存在算子B使AC=BD.......
应用数学机械化方法研究欧氏空间中SU(2)规范场的正规化问题.首先对Yang-Mills方程的表述进行了讨论,给出了一种具有物理和几何意......
应用数学机械化方法研究欧氏空间中SU(2)Yang-Mills规范场的存在性问题.首先对YM-方程的结构进行了讨论,说明YM-方程由它的奇部份......
随着近几年来人们对于科学技术的要求的不断提高,数学机械化被应用于越来越多的行业当中,而且人们近几年来在航天工程,汽车行业等......
对称理论在非线性方程的求解中起着重要作用。随着科学技术地不断发展,在对此理论的研究中,符号计算作为替代手工计算的一个重要研......
数理科学数学解析数论、代数数论与代数几何(包括构造性代数几何);群与代数及其表示理论;流形和复形拓扑学;整体微分几何;经典分......
20 0 1年 3月 1 9日下午 ,科技部在友谊宾馆会议楼举行国家科技奖励大会学术报告会 ,报告会由程津培副部长主持。会上 ,国家最高科......
2001年2月19日,国家主席江泽民向吴文俊、袁隆平两位科学家颁发了首届国家最高科技奖。吴文俊、袁隆平两位院士,都是在本专业领域......
为加强中国科学院科研基地建设,促进基础研究和高技术前沿探索工作持续稳定发展,最近,我院又批准成立了11个重点实验室。本刊将分......
中国数学会将于2011年11月25-28日在广州举行“第四届全国计算机数学学术会议”。征文范围:数学机械化理论、算法和软件实现;符号计算......
科学史与现代科学的联结当一位久远的科学家的思想方法或理论能被用为现今理论形成的一部分时,也可以把它看作是“现代的”。正是......
张鸿庆 ,1 93 6年 5月生于黑龙江省绥化县四方台镇 . 1 957年毕业于吉林大学数学系 ,同年来大连理工大学任教 . 1 984年任教授 ,1 ......
采用吴方法解决了平面二簧系统的静力逆分析问题,得到了一个一元6次平衡位置方程,并编制了相应的求余软件.经验证所得结果无增无漏,从而......
本文基于数学机械化方法和计算机符号处理技术,对平面三环复杂机构的位置分析进行了符号法求解,该法成功地将一组非线性多项式方程化......
应用数学机械化方法和计算机符号处理技术,对平面两自由度七杆机构位置分析问题进行了符号求解,该法通过对变量的排序、多项式分组、......
本文基于数学机械化方法和计算机符号处理技术,对平面多杆复杂机构的位置分析进行了符号法求解,该法成功地将一组非线性多项式方程化......
数学机械化理论和方法的建立,是深层次的知识创新,将极大地推动科学的发展,为我国高新技术的创新发挥重大作用,产生难以估计的社会......
2002年之前,除了数学界,知道他的人还非常少,他不但不和媒体打交道,甚至连周边的人他也不会凑得很近。而今98岁的他时常光脚穿皮鞋......
国际机器证明研究领域的权威人物J.S.穆尔这样评价:“在吴文俊之前,机械化的几何定理证明处于黑暗时期,而吴的工作给整个领域带来光明......
在2002年获得首届国家最高科技奖之前,除了数学界,知道他的人还非常少,他不但不和媒体打交道,甚至连身边的人他也不会凑得很近。90岁后......
(1919年5月12日—2017年5月7日)挽联:“同蘇公高壽,受榮名於國家,福難比矣。繼陳氏示性,揚拓撲乎中土,功莫大焉!”——丘成桐挽诗:......
摘要:以教学改革和模式创新为切入点,基于数学思想、数学方法、数学技巧和数学应用,构建数学机械化思想与课程理论教学的融合、新兴课......
2001年2月19日,党中央、国务院在北京人民大会堂隆重召开国家科学技术奖励大会。在2612位获奖者中,最引人注目的当属首届国家最高科......
邵逸夫奖评审会主席杨振宁6月21日在中国香港宣布了2006年度(第三届)邵逸夫奖获得者名单.中国科学院数学与系统科学研究院吴文俊院......
如果不是亲眼所见,你也许无法想象眼前这位鹤发童颜、乐观开朗的老先生,就是年逾8旬的著名数学家;步履矫健,连小伙子有时都赶不上......
新世纪科学的春天 科学总是与春天结缘。新世纪第一个春天姗姗走来的时候,在北京的人民大会堂,中国政府为科学界举行一次隆重的颁奖......