由此，以多项式符号代数为理论基础，提出了一个高层次数据通路的等价验证算法。

So in this paper, a new algorithm for the equivalence verification of high-level data paths based on polynomial symbolic algebra is proposed.

youdao

此方案在推理过程中运用了约束传播和符号代数的方法，预测所有可能合理的配置信息。

The basic idea in this approach is to predict all reasonable spatial configurations of a mechanism using constrain spread and sign algebra.

youdao

本研究发现建议在算术和代数方法间建立教学法联系可以促使学生向字母-符号代数的转变。

Findings suggest establishing pedagogical links between arithmetic and algebraic methods may facilitate students' transition to letter-symbolic algebra.

youdao

You add them all up algebraically, keeping track of their sign, and that's the total force.

你再对这些力做代数加法,注意符号,就求出合力了

耶鲁公开课 - 基础物理课程节选