So in this paper, a new algorithm for the equivalence verification of high-level data paths based on polynomial symbolic algebra is proposed.
由此，以多项式符号代数为理论基础，提出了一个高层次数据通路的等价验证算法。
Findings suggest establishing pedagogical links between arithmetic and algebraic methods may facilitate students' transition to letter-symbolic algebra.
本研究发现建议在算术和代数方法间建立教学法联系可以促使学生向字母-符号代数的转变。
Other areas of computational mathematics include computer algebra and symbolic computation.
计算数学的其他领域包括计算机代数和符号计算。
Shannon 's 1938 master's thesis, A Symbolic Analysis of Relay and Switching Circuits , used Boolean algebra to establish the theoretical basis of modern digital circuits.
香农写于1938年的硕士论文，“继电器与开关电路的符号分析”，应用布尔代数建立现代数字电路的理论基础。
Although the objects processed by a computer algebra system are usually symbolic formulae, it is necessary for the system to operate with integers and even with infinite integers.
计算机代数系统的处理对象虽然是符号公式，但也需要整数运算，并且需要的是无限精度整数运算。
Although the objects processed by a computer algebra system are usually symbolic formulae, it is necessary for the system to operate with integers and even with infinite integers.
计算机代数系统的处理对象虽然是符号公式，但也需要整数运算，并且需要的是无限精度整数运算。
应用推荐