A very fast algebraic compiler.

The major problem was how to justify algebraic reasoning.

主要的问题是怎样使人认为代数推理是可靠的.

词典精选例句

Potentials may be summed by the law of algebraic addition.

势可用代数和的定律来相加.

词典精选例句

This is an algebraic equation, deduced from experimental results.

这是一种由实验结果归纳出来的代数方程.

词典精选例句

An arithmetic or an algebraic identity is an equation.

算数或代数恒等式是方程.

词典精选例句

It has developed from two sources : algebraic geometry and algebraic member theory.

它由两个方面发展而来,代数几何和代数数论.

词典精选例句

An algebraic expression showing that a quantity is greater than or less than another quantity.

在优化问题中,一种表示若干变量相互关系的方程(式)或不等式.

互联网摘选

Write an algebraic expression for each verbal expression.

把每个文字表达式写成代数式.

互联网摘选

I still can not perform the calculation in this algebraic expression.

我还是不会用代数式运算.

互联网摘选

To find this angle, we first work out general algebraic expression for the range.

为求这一角度, 首先我们求出射程的一般代数表达式.

词典精选例句

First interpret it combinatorially, and then derive it algebraically from the multinomial theorem.

先用组合方法阐述, 然后从多项式定理利用代数方法推导.

词典精选例句

It is much easier to indicate how to find the mean by expressing the procedure algebraically.

用代数的方法来表现这个过程,就更容易说明平均数是如何求得的.

词典精选例句

The two stresses can then be added algebraically to obtain the resultant.

然后将两种应力代数相加就得到合应力.

词典精选例句

In this paper , we introduce UB algebras for universal logic in the ideal condition.

泛逻辑学对应的代数系统-UB代数, 给出它的一系列性质.

互联网摘选

The paper introduces the generalized derivations of Lie triple systems by popularizing that of Lie algebras.

将李代数的广义导子的概念推广到李三系中.

互联网摘选

In this paper , the concept of ultrafilter of lattice implication algebras is proposed.

根据逻辑代数方程理论, 提出了格蕴涵代数方程的概念.

互联网摘选

The fundamental theory of Lie groups and Lie algebras on robotics is expatiated in brief.

对李群李代数方法在机器人中的应用做了基本的阐述,澄清了一些基本概念.

互联网摘选

Such kind of graded algebras arise naturally in representation theory and in algebraic geometry ( [ BGS ] ).

表示论中出现的许多代数(如路代数)和代数几何中出现的一些代数 ( 参见 [ BGS ] ) 是这样的正分次代数.

互联网摘选

Koszul algebra was introduced by Priddy in 1970 . Roland Berger generalized it to t-Koszul algebras.

1970年,Priddy将Koszul代数的概念引入到代数的研究中.

互联网摘选

In this paper , the path algebras and their properties are studied.

对路李代数及其性质做了研究.

互联网摘选

The concept of primary filter is proposed in residuated lattice implication algebras.

在剩余格蕴涵代数中,提出准素滤子的概念.

互联网摘选