| 1. | Traditional mathematics of china and mathematics mechanization
中国传统数学与数学机械化 |
| 2. | The core of the mathematics mechanization theory is algebraization and further mechaiza - tion
数学机械化思想的核心是代数化进而机械化。 |
| 3. | The mechanical thought of mathematics in ancient china and wu wen - jun ' s work about mathematics mechanization
中国古算的程序化思想与吴文俊的数学机械化工作 |
| 4. | Singapore : world scientific , 1994 . 4 li h , wu y . automated theorem proving in projective geometry with cayley and bracket algebras
其中特征列方法是定理机器证明与方程求解的基础，也是数学机械化领域目前研究的核心内容。 |
| 5. | 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分吴文俊教授主讲“由中国的传统数学智慧至现代中国数学机械化的演变” |
| 6. | 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理论的重要应用。 |
| 7. | 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
本文第一作者于上世纪七十年代末开始从事数学机械化研究，致力于实现推理与方程求解的自动化，并创立了几何定理机器证明的吴方法与方程求解的特征列方法。 |
| 8. | 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
二、数学机械化的思想方法到明代得到了高度发展和完善。其一是表现在实现算法的硬件? ?算盘的完善和规范化；其二是实现算法的软件? ?基本算法的规范化、歌诀化、程序化。 |
| 9. | 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
摘要分析了古代数学形式和思想方法与现代数学学科的区别、联系，进而论述中国古代传统数学机械化特色、领先成就，以及中外学者评价的正确与失真，说明具有正确观点的重要性。 |
| 10. | 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
本文将我国著名数学家吴文俊的数学机械化思想应用于非线性物理领域，给出了构造非线性波方程组一类特殊精确解的一种统一算法，利用这种算法系统地研究了出现于非线性物理领域中的两类重要的非线性耦合标量场方程组，获得了这些方程组一批精确解(包括稳定和发散形式的孤立波解以及周期解) 。 |
