Experimental results show that the path feasibility analysis of traditional symbolicevaluation can be omitted. So it can reduce the time complexity by using symbolic execution algorithm.
实例结果表明，该算法能免去传统符号执行中对于路径可行性的分析，从而降低时间复杂度。
2
Evaluation relevant to the partial derivatives of the multivariable functions is often done in scientific computation, usually by means of the symbolic differentiation or the divided difference.
科学计算及其应用常常需要多变量函数的有关偏导数问题的计算，通常使用的计算方法是符号微分或差分近似。
3
The evaluation of performance shown that the OEHCBSS is easy to realize and high performance, especially its symbolic substitution processor is multi function and high speed.