Symbolic operation is an important component of MATLAB, and the symbolicsolution has better generality than the numeric solution.
符号运算是MATLAB的一个极其重要的组成部分，符号表示的解析式比数值解具有更好的通用性。
2
By the use of mathematic mechanized method and computer symbolic manipulating technique this paper carried out a symbolicsolution on the synthetic problems of rigid body guided four bar linkages.
本文应用数学机械化方法和计算机符号处理技术，对平面四杆机构刚体导引综合问题进行了符号求解。
3
A solution for property verification of synchronous VHDL design is introduced, and VERIS an efficient symbolic model checker is implemented.