So in this paper, a new algorithm for the equivalence verification of high-level data paths based on polynomial symbolicalgebra is proposed.
由此，以多项式符号代数为理论基础，提出了一个高层次数据通路的等价验证算法。
2
Findings suggest establishing pedagogical links between arithmetic and algebraic methods may facilitate students' transition to letter-symbolicalgebra.
本研究发现建议在算术和代数方法间建立教学法联系可以促使学生向字母-符号代数的转变。
3
Other areas of computational mathematics include computer algebra and symbolic computation.