本文应用数学机械化方法和计算机符号处理技术，对平面四杆机构刚体导引综合问题进行了符号求解。
By the use of mathematic mechanized method and computer symbolic manipulating technique this paper carried out a symbolic solution on the synthetic problems of rigid body guided four bar linkages.
文章探讨并力图简明地概括数学思维机械化的历史源流。
This paper discusses the origins of the mechanization of mathematics and tries to reconstruct its historical development.
本文使用的数学机械化方法可推广到涉及非线性代数方程组的其他机构学问题的求解。
The mathematical mechanization method can be extended to solve other mechanism problems involving nonlinear equations symbolically.
虽然仍有人利用数学及统计学的概率公式，将音高、力度、节奏各元素作不同的设计，可是它们所显现的，只是更精密、更机械化，缺少感情与人性。
Although the tendency of applying mathematics and statistics to musical parameters has continued, the resulted works often appear rigorous and mechanical and sound avoid of emotion and humanity.
因此，数学机械化对于整个脑力劳动的机械化来说也具有特殊的甚至是关键的意义。
Mechanization of mathematics, therefore, is of great significance to the mechanization of the mental wok in general.
第一章介绍了数学机械化思想与计算机代数，以及数学物理机械化。
Chapter 1 is devoted to investigating the ideas of the mathematics mechanization, computer algebra and the mathematical physics equations mechanization.
第一章介绍了数学机械化思想与计算机代数，以及数学物理机械化。
Chapter 1 is devoted to investigating the ideas of the mathematics mechanization, computer algebra and the mathematical physics equations mechanization.
应用推荐