包括代数符号、方程。
介绍并研究徐有壬的幂级数代数符号系统的方法和特点。
This paper introduces Xu Youren's system of algebraic symbol for power series, and dose research on its characteristics.
采用李群李代数符号描述了含主被动关节机器人的动力学分析和控制问题。
Lie groups and Lie algebras were used to study the dynamics and control of robot system with active and passive joints.
研究了利用计算机代数符号推演功能对复杂系统数学模型进行分解的有关理论和方法。
The paper researches the theories and methods of model-decomposing for complex system based on sign-reducing function of computer algebra.
当代数学的论证过程往往错综复杂，需要用上很多不同的步骤、成分和符号。
A typical argument in modern mathematics is often quite intricate, requiring many different steps, ingredients, and notation.
计算数学的其他领域包括计算机代数和符号计算。
Other areas of computational mathematics include computer algebra and symbolic computation.
利用符号、数字和语言再现和解释高于中级代数的数学知识。
Represent and explain mathematical information beyond the level of intermediate algebra symbolically, numerically and verbally.
此方案在推理过程中运用了约束传播和符号代数的方法，预测所有可能合理的配置信息。
The basic idea in this approach is to predict all reasonable spatial configurations of a mechanism using constrain spread and sign algebra.
在代数里，符号X常用来表示未知数。
从现代数学的角度看来，它们都是符号。
From a modern mathematical point of view, they were all alike symbols.
由二阶谐波平衡法得到的非线性代数方程组很容易用符号运算软件求出。
The nonlinear algebraic equations for the second order approximate solution were solved by using symbolic computation software.
计算机代数系统的处理对象虽然是符号公式，但也需要整数运算，并且需要的是无限精度整数运算。
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.
计算机代数与符号演算语言CASC是一种高级程序设计语言，它可用于编制推演数学公式的程序。
Computer algebraic and symbolic computation language CASC is a high level programming language used in formula manipulation.
本研究发现建议在算术和代数方法间建立教学法联系可以促使学生向字母-符号代数的转变。
Findings suggest establishing pedagogical links between arithmetic and algebraic methods may facilitate students' transition to letter-symbolic algebra.
由此，以多项式符号代数为理论基础，提出了一个高层次数据通路的等价验证算法。
So in this paper, a new algorithm for the equivalence verification of high-level data paths based on polynomial symbolic algebra is proposed.
香农写于1938年的硕士论文，“继电器与开关电路的符号分析”，应用布尔代数建立现代数字电路的理论基础。
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.
它利用了不定导纳矩阵的概念，在符号网络函数的产生中应用了代数法与符号编码相结合的方法。
It is based on the concept of indefinite admittance matrix, and USES an algebraic method of symbolic code in the generation of symbolic network functions.
在代数中，符号x通常代表一未知数。
在代数中，符号x通常代表一未知数。
应用推荐