本文应用数学机械化方法和计算机符号处理技术，对平面四杆机构刚体导引综合问题进行了符号求解。
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.
应用推荐