我发现增加的这个CSE特别有用，因为我见过编程人员在实际的代码中没有进行这种代数简化。
I find this latter CSE especially cool, as I've seen real programmers miss this sort of algebraic simplification in real code.
该编译器可以对a+a进行代数简化，即改为生成2*a，也可以对 (c*b)*12 + c*b 进行代数简化，即改为生成 (c*b)*13。
The optimizer has been able to do algebraic simplification on a+a, instead generating 2*a, and on (c*b)*12 + c*b, instead generating (c*b)*13.
使用简化的牛顿计算方法和弱队列搜索来解决一系列的非线性代数方程。
Uses a reduced-Newton algorithm with a weak line search to solve a set of non-linear algebraic equations.
三世纪的丢番图的杰出贡献之一，就是把希腊代数学简化，开创了简化代数。
Three century Diophantine one of the outstanding contribution that Greece algebra simplify, simplify algebraic created.
本文通过对合交换半群概念的引入，对MV-代数建立了几组等价公理系，对原有的公理系进行了较好的简化。
In this paper, we introduce the notion of involution commutative semi-group, and give some equivalence axioms of MV - algebras.
本文通过对合交换半群概念的引入，对MV-代数建立了几组等价公理系，对原有的公理系进行了较好的简化。
In this paper, we introduce the notion of involution commutative semi-group, and give some equivalence axioms of MV - algebras.
应用推荐