数学机械化的英文

• mechanization of mathematics

• "数学"英文翻译    mathematics
• "机械化"英文翻译    mechanize
• "数学机械化研究中心" 英文翻译 :    mathematical mechanization research center
• "抽象数学机" 英文翻译 :    abstract mathematical machine
• "数学机理论" 英文翻译 :    mathematical machine theory
• "机械化" 英文翻译 :    mechanize 农业机械化 mechanization of agriculture; mechanization of farm work; 机械化、联动化、自动化 mechanization, integrated operation and automation; 机械化程度较高的县 counties with a relatively high rate of mechanization; 使耕种机械化 mechanize farming; 机械化部队 mechanized force; mechanized troops; mechanized unit; 机械化农业 mechanized agriculture; 机械化运输 mechanical transport
• "光学机械" 英文翻译 :    opticalmechnical
• "光学机械的" 英文翻译 :    photomechanical
• "光学机械法" 英文翻译 :    photomechanical method
• "化学机械" 英文翻译 :    chemical engine; chemically machinery
• "化学机械法" 英文翻译 :    chemical mechanical pulping
• "化学机械浆" 英文翻译 :    chemimechamical pulp
• "数学机器理论" 英文翻译 :    mathematic machine theory; mathematical machine theory
• "光学机械工业" 英文翻译 :    optiko-mekhanicheskaya promyshlennost
• "光学机械滑鼠" 英文翻译 :    optomechanical mouse
• "光学机械纠正" 英文翻译 :    optical mechanical rectification; optical－mechanical rectification
• "光学机械鼠标" 英文翻译 :    opto-isolator
• "光学机械投影" 英文翻译 :    optical mechanical projection; optical-mechanlcal projection
• "光学机械系统" 英文翻译 :    optical-mechanical system
• "光学机械形变" 英文翻译 :    optic-mechnical deformation
• "化学机械加工" 英文翻译 :    chemical mechanical working
• "化学机械木浆" 英文翻译 :    chemic groundwood
• "化学机械抛光" 英文翻译 :    chemically-mechanically polish (cmp); chemmically-mechanically polish (cmp)
• "化学机械研磨" 英文翻译 :    cmp
• "化学机械纸浆" 英文翻译 :    chemimechanical pulp

• Traditional mathematics of china and mathematics mechanization
  中国传统数学与数学机械化
• The core of the mathematics mechanization theory is algebraization and further mechaiza - tion
  数学机械化思想的核心是代数化进而机械化。
• The mechanical thought of mathematics in ancient china and wu wen - jun ' s work about mathematics mechanization
  中国古算的程序化思想与吴文俊的数学机械化工作
• Singapore : world scientific , 1994 . 4 li h , wu y . automated theorem proving in projective geometry with cayley and bracket algebras
  其中特征列方法是定理机器证明与方程求解的基础，也是数学机械化领域目前研究的核心内容。
• 11 . 50am lecture by professor wu on " from ancient chinese traditional mathematics to modern china s mathematics mechanization " 12 . 40pm presentation of souvenirs
  上午11时50分吴文俊教授主讲“由中国的传统数学智慧至现代中国数学机械化的演变”
• Chapter 1 is devoted to ac = bd theory and its applications which contain elastic dynamics , electric dynamics , the solving for variable coefficient equation and so on
  Ac = bd理论和reid标准型是数学机械化的重要组成部分，非线性演化方程的求解是ac = bd理论的重要应用。
• 1 wu w t . on the decision problem and the mechanization of theorem - proving in elementary geometry . scientia sinica , 1978 , : 159 - 172 . re - published in em automated theorem proving : after 25 years , 1984 , pp . 213 - 234
  本文第一作者于上世纪七十年代末开始从事数学机械化研究，致力于实现推理与方程求解的自动化，并创立了几何定理机器证明的吴方法与方程求解的特征列方法。
• The mechanized mathematics has a highly development in ming dynasty , the abacus ' s perfected standardize is one hand , the other hand is fundamental algorithm ' s standardize , a pithy formula , program
  二、数学机械化的思想方法到明代得到了高度发展和完善。其一是表现在实现算法的硬件? ?算盘的完善和规范化；其二是实现算法的软件? ?基本算法的规范化、歌诀化、程序化。
• This article analyzes the differential and relation between ancient math form and thought method and modern mathematical subject , discusses the machanizational feature and leading achievements in the ancient traditional math of china , correct and untrue evaluation by scholars at home and abroad , stating the importance of correct reviews
  摘要分析了古代数学形式和思想方法与现代数学学科的区别、联系，进而论述中国古代传统数学机械化特色、领先成就，以及中外学者评价的正确与失真，说明具有正确观点的重要性。
• The present paper intends to construct a systematic approach to search a type of particular exact solutions to nonlinear wave equations by utilizing the theory of mathematics mechanization proposed by famous mathematician wu wentsun . by the approach , two classes of important nonlinear coupled scalar field equations arising in the field of nonlinear physics are studied systematically and a batch of exact solutions containing steady and diverging solitary wave solutions and periodic ones are obtained , which are helpful in clarifying the movement of matter under the nonlinear interactiveties and play an important role in sicentifically explaining of the corresponding physical phenomenon
  本文将我国著名数学家吴文俊的数学机械化思想应用于非线性物理领域，给出了构造非线性波方程组一类特殊精确解的一种统一算法，利用这种算法系统地研究了出现于非线性物理领域中的两类重要的非线性耦合标量场方程组，获得了这些方程组一批精确解(包括稳定和发散形式的孤立波解以及周期解) 。