数学机械化 meaning in English
mechanization of mathematics
Examples
- 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
本文将我国著名数学家吴文俊的数学机械化思想应用于非线性物理领域，给出了构造非线性波方程组一类特殊精确解的一种统一算法，利用这种算法系统地研究了出现于非线性物理领域中的两类重要的非线性耦合标量场方程组，获得了这些方程组一批精确解(包括稳定和发散形式的孤立波解以及周期解) 。