algebra的例句大全

This paper uses the Objective Caml language, and automatically translates the description of process algebra for Security protocols into relative logic programs.

本文基于Objective Caml语言，实现了安全协议进程代数描述到安全协议逻辑程序的自动转化。

Newton remarked that " algebra is the analysis of the bunglers in mathematics. "

牛顿评述道: “ 代数是数学中的笨拙者的分析. ”

The algebraic update propagation strategy transforms updates to XML data into update primitives applied to the XAT data model and designed rules for each algebra node to propagate updates through the XAT tree up to the result view.

首先更新传递的代数策略将XML数据的更新转变成可以被XAT数据模型应用的更新原语，为每个代数节点设计规则，使更新可以通过XAT代数树传递到结果视图；

Study on Uncertainty Reasoning in Lattice-Valued First-Order Logic L_ ( vfl) Based on Lattice Implication Algebra

基于格蕴涵代数的格值一阶逻辑L（vfl）中的不确定性推理研究

Application of the basic theorem of a system of linear equation to balancing chemical reaction equation-The improvement on linear algebra method

线性方程组的基本理论在配平化学方程式中的应用&改进的线性代数法

The ordinary numbers of arithmetic and elementary algebra are known as scalars.

算术和初等代数中普通的数通称纯量.

This paper studies the related rules of left and right in modern algebra.

探讨近世代数中涉及“左”、“右”的有关规律.

We completely determined the structure of Derg of the 3-solvable non-degenerate Lie Algebra, g.

进而给出了三次可解型非退化李代数的一个等价条件，并且详细地刻画了它的导子李代数的结构。

Note on the Ockham Algebra on Ordered Sets

有序集上的自由Ockham代数的注记

SU ( 1, 1) Lie Algebra of Nonlinear Nonharmonic Oscillator

非线性非谐振子的SU（1，1）Lie代数

Effects of Schematization on Algebra Word Problem Solving

图式化程度对解决代数文字题的影响

This research with three experiments provided some empirical evidence of the schematization or generalization of examples producing influence on solving of algebra word problem.

本研究探讨了图式化程度即例子的概括化程度对解决代数文字题的影响。

Demonstrating the Number of the Tangent Lines of Circular Cone Curves through Fixed Points by Means of Algebra

用代数的方法证明过定点作圆锥曲线的切线条数

Mathematics includes Kindergarten to Geometry, Algebra, and Pre-Calculus.

数学班从幼稚园至高中几何班, 代数班, 和微积分先修班.

The authors, discuss the product Lie group's Lie algebra.

本文还讨论了乘积李群的李代数形式.

In this paper, we extend the concept of quantum Lie algebra to two-parameter case.

本文把量子李代数的概念推广到了双参数的情形.

The third chapter main research is two new high-dimensional Lie algebra and its application.

第三章主要研究的是两个新的高维的Lie代数及其应用.

Understand relational algebra and calculus and why they are important.

理解关系代数和微积分,他们为什么是重要的.

In relational databases, an operator in relational algebra.

在关系数据库中, 关系代数用的一种运算符.

The seidel third-order aberration coefficients of a thick lens imaging system are derived analytically with the aid of Lie algebra and optical symplectic map.

借助于李代数和辛映射推导出厚透镜成象系统的Seidel三级象差系数的解析公式。