说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 吴文俊公式
1)  WU Wen-tsn formulae
吴文俊公式
2)  WU Wen-jun
吴文俊
1.
WU Wen-jun:The Famous Mathematician;
不断创新的著名数学家——吴文俊
2.
The mechanical thought of mathematics in ancient China and WU Wen-jun s work about mathematics mechanization;
中国古算的程序化思想与吴文俊的数学机械化工作
3.
WU Wen-jun's Outstanding Status in the Development of Chinese Management Science
试评吴文俊在中国管理科学发展史上的地位——兼析几位科学大师的教育背景与日后工作的关联
3)  Wu Wenjun
吴文俊
1.
Kuhn and Wu Wenjun:A comparative study on the "anti-Whig" view of history
库恩与吴文俊:反辉格史观的比较研究
2.
Wu Wenjun's Methodology of Mathematics History and Its Enlightenment
吴文俊数学史研究方法论及启示
4)  Wu Wen-tsun
吴文俊
1.
Wu Wen-tsun and Origin of Chinese Operations Research and Quantitative Economics
试论吴文俊与中国运筹学及数量经济学的渊源
2.
Review Wu Wen-tsun's Instruction to the Problem of Ancient Mathematician Portraits by Modern Painters——Celebration of Wu Wen-tsun's 90th Birthday
重温吴文俊先生关于现代画家对古代数学家造像问题的教诲——庆祝吴文俊先生90华诞
3.
Wu Wen-tsun and the Studies on the History of Mathematics in Universities of China
吴文俊院士与我国高校数学史研究
5)  Wu-elimination method
吴文俊消元法
1.
In this paper,many traveling wave solutions to NLS equations were obtained by using hyperbola function method and Wu-elimination method,which include new traveling wave solutions and rational traveling wave solutions.
借助计算机代数系统Mathematica,利用双函数法和吴文俊消元法,获得NLS方程的多组新的显式行波解,包括孤波解和周期解。
2.
In this paper,with the aid of computer algebra system mothematica,many traveling wave solution to Schrdinger equation are obtained by using hyperbola function method and Wu-elimination method,including new traveling wave solutions and rational traveling wave solutions.
借助计算机代数系统Mathematica,利用双函数法和吴文俊消元法,获得了Schr dinger方程的多组新的显式行波解,包括孤波解和周期解。
3.
With the help of Mathematica, new explicit and exact traveling solutions for the generalized (2+1)-dimensional Nizhnik-Novikov-Vesselov equation are obtained by using bifunction method and Wu-elimination method.
借助计算机代数系统Mathem atica,利用双函数法和吴文俊消元法,获得广义(2+1)维Nizhink-Novikov-Vesselov(GNNV)方程的多组新的显式精确行波解,包括孤波解和周期性解。
6)  Wu elimination method
吴文俊消元法
1.
With the help of the mathematic software Maple, one of the examples in Bai’s article is solved by using the improved method and the Wu elimination method.
借助数学软件Maple ,用改进后的方法和吴文俊消元法 ,求解BaiCL文中的一个例子 ,获得了包含Bai文结果在内的更为丰富、精确的行波解 。
2.
With the help of Mathematica, new explicit and exact traveling solutions for Boussinesq equation are obtained by using bifunction method and Wu elimination method, including new solitary wave solutions and periodic solutions, and the bifunction method is further complemented.
借助计算机代数系统 Mathematica,利用双函数法和吴文俊消元法 ,获得 Boussinesq方程的多组新的显式精确行波解 ,包括孤波解和周期性解 ,同时进一步补充和完善了双函数
补充资料:吴文俊
吴文俊(1919~ )

    中国数学家。中国科学院院士。1919年5月12日生于上海。1940年毕业于上海交通大学。1947年赴法国留学,先后在斯特拉斯堡、巴黎、法国科学研究中心进行数学研究,1949年获博士学位。1951年回国。历任北京大学数学系教授,中国科学院数学研究所研究员、副所长,中国科学院系统科学研究所研究员、副所长、名誉所长,数学机械化研究中心主任,中国数学会理事长、名誉理事长,中国科学院数学物理学部常务委员、主任等职。曾任全国政协常务委员。主要从事拓扑学、机器证明学等方面的研究并取得多项突出成果,是中国数学机械化研究的创始人之一。1952年刊印出版的博士论文《球纤维空间示性类理论》是对纤维空间基本问题的重要贡献。50年代在示性类、示嵌类等研究方面取得一系列突出成果,并有许多重要应用,被国际数学界称为“吴文俊公式”、“吴文俊示性类”,已被编入许多名著。这项成果曾获1956年国家自然科学奖一等奖。60年代继续进行示嵌类方面的研究,独创性地发现了新的拓扑不变量,其中关于多面体的嵌入和浸入方面的成果至今仍居世界领先地位。在庞特雅金示性类方面的成果,是拓扑学纤维丛理论和微分流形的几何学的一项基本理论研究,有深刻的理论意义。近年来创立了定理机器证明的吴文俊原理(国际上称为吴方法),实现了初等几何与微分几何定理的机器证明,达到了世界先进水平。这一重要创新改变了自动推理研究的面貌,在定理机器证明领域产生了巨大影响,并有重要的应用价值,它将引起数学研究方式的变革。这方面的研究成果曾获全国科学大会重大成果奖和中国科学院科技进步奖一等奖。在机器发现和创造定理的研究方面也取得了重要成果。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条