Symbolic equation solution 符号方程的求解
Symbolic differential equation solution 符号微分方程求解
symbolic algebra equations set solution 符号代数方程组的求解
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。
应用推荐