Symbolic operation is an important component of MATLAB, and the symbolic solution has better generality than the numeric solution.
符号运算是MATLAB的一个极其重要的组成部分，符号表示的解析式比数值解具有更好的通用性。
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.
本文应用数学机械化方法和计算机符号处理技术，对平面四杆机构刚体导引综合问题进行了符号求解。
A solution for property verification of synchronous VHDL design is introduced, and VERIS an efficient symbolic model checker is implemented.
介绍了一个针对同步时序电路VHDL设计的性质验证的解决方案——一个有效的符号模型判别器veris。
The nonlinear algebraic equations for the second order approximate solution were solved by using symbolic computation software.
由二阶谐波平衡法得到的非线性代数方程组很容易用符号运算软件求出。
The nonlinear algebraic equations for the second order approximate solution were solved by using symbolic computation software.
由二阶谐波平衡法得到的非线性代数方程组很容易用符号运算软件求出。
应用推荐