与大多数计算机代数系统一样，Maxima是使用Lisp语言编写的。
Like most computer algebra systems, Maxima is written in Lisp.
OpenMath(参见参考资料)是一种较老的格式，起源于计算机代数系统。
OpenMath (see Resources) is an older format with origins in computer algebra systems.
Macaulay计算机代数系统对于多项式计算非常有用，并重点强调grobner基计算。
The Macaulay computer algebra system is useful for polynomial computations with emphasis on Grobner basis calculations.
SAGE的独特之处在于，它能够用作其他各种计算机代数系统的集成器，从而允许用户利用不同软件包的各自强项。
SAGE is unique in that it can function as an integrator of other diverse computer algebra systems, allowing the user to leverage the individual strengths of the various packages.
为这些任务而设计的程序领域的最常用名称是“计算机代数系统”(Computer Algebraic Systems,CAS)。
The most common designation for the field of programs designed for these tasks is computer algebraic systems (CAS).
而这些问题用传统的二值代数系统是无法解决的。
However, these problems cannot be solved by means of the traditional binary algebraic system.
CASS1是用代数化简方法设计的计算机代数系统。
The computer algebra system CASS1 is designed by algebraic simplification method.
在缩减双四元数代数系统上定义了分数阶四元数傅立叶变换。
In this paper, we define the fractional quaternion Fourier transform based on reduced biquaternion algebra.
本文最后提出了一个适用于电流信号表示和电流运算的代数系统。
The paper concludes by presenting an algebra system which is suitable for current signal representation and operation on currents.
描述许多轨道控制问题的方程通常构成非线性半显式的微分代数系统。
The equations which describe many trajectory control problems naturally form nonlinear semiexplicit differential algebraic systems.
该课程主要介绍逻辑学、集合论、代数系统以及图论的基本概念及其方法。
It mainly introduces basic concepts and basic methods in logic, set theory, algebraic system and graph theory.
该课程主要介绍逻辑学、集合论、代数系统以及图论的基本概念及其方法。
This course involves mathematic logic, theory of set, algebraic system and the theory of graph.
最后，基于数学工具———代数系统，给出了空间数据立方体严格的数学定义。
At last, based on a mathematical tool: algebraic system, this paper gives definition of spatial data cube.
用计算机代数系统自动生成机器人运动学模型，是机器人运动学建模的新课题。
It is a new task to automatically set up the kinematics mode of robots by using the system of computer algebra.
讨论了逻辑函数在与-异或和或-符合代数系统中的RM展开式和CRM展开式。
The RM and CRM expansions in Boolean AND-XOR and OR-COINCIDENCE algebraic system are discussed.
模糊逻辑与量子逻辑以及它们相应的代数系统是目前非经典逻辑体系中非常活跃的研究分支。
Now, studies about fuzzy logic, quantum logic and the corresponding algebra systems are very active in non-classical logic.
本文探讨非线性指标- 3微分-代数系统的波形松弛算法所涉及的理论模型和具体算例的求解。
This paper discusses theoretical models and numerical experiments of waveform relaxation methods for solving nonlinear differential-algebraic systems of index-3.
计算机代数系统的处理对象虽然是符号公式，但也需要整数运算，并且需要的是无限精度整数运算。
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.
实例证明，本方法可以和已有的抽象代数系统联系起来，从而为控制数据对象上的各种操作提供可靠的理论依据。
Through an example we can prove the probability of associating it with the existing algebraic system, and provide a reliable theoretical basis for controlling the various operations in data objects.
为此，文中用面向对象的知识表示方法描述并建立本体，并以此为基础形成领域操作代数系统和智能体服务描述语言。
The paper describes and develops ontology by object-oriented knowledge representation, hence the representation leads to domain algebra system and agent service description language.
最初的版本(一个计算机代数系统)名为DOE Macsyma，它开辟了后来开发的更知名的应用程序(例如Mathematica)的道路。
The original version (a computer algebra system) was called DOE Macsyma and led the way for later development of more commonly known applications such as Mathematica.
给出用计算机代数系统Mathematica建立Yang -Baxter方程解的统一方法，此方法可用于具有动力r -矩阵的约束系统。
A unifying method for constructing the solutions to the Yang-Baxter equation by using the computer algebraic system Mathematica is presented.
Computationsin CommutativeAlgebra (CoCoA)是另一个免费计算机代数系统，用于处理超大型整数、有理数和多项式。
Computations in Commutative algebra (CoCoA) is another free computer algebra system for working with very large integers, rational Numbers, and polynomials.
它在数值代数、控制论、电力系统理论、经济数学、统计学等众多领域中有着广泛应用。
It has numerous applications in numerical algebra, cybernetics theory, electrical system theory, mathematics of economics, statistics and so on.
在量子光学、凝聚态物理、原子分子物理中存在许多典型的具有三生成元李代数结构的量子系统或模型。
There exist a number of typical systems and models which possess the three generator Lie algebraic structure in quantum optics, atomic and molecular physics and condensed matter physics.
本文讨论如何应用代数规范说明方法来说明软件系统。
This paper discusses how to use the method of algebraic specification in specifying software systems.
为了求解这两个微分差分方程，给出一个系统的代数算法。
In order to solve the two differential-difference equations, a systematic algebraic algorithm is given.
代数动力学方法便是求解该系统的一种有效方法。该方法利用系统的代数结构使系统按照动力学规律随时间演化。
Algebraic dynamical method is an effective method to deal with the dynamical evolution of such systems by making use of its algebraic structure.
对具有泛包络代数结构的量子力学控制系统，研究了泛包络代数的可扩张性和系统状态的定义域问题。
For quantum mechanical control systems with structures of universal enveloping algebras, the thesis studies the enlargability of the universal enveloping algebras and the domain problems.
对具有泛包络代数结构的量子力学控制系统，研究了泛包络代数的可扩张性和系统状态的定义域问题。
For quantum mechanical control systems with structures of universal enveloping algebras, the thesis studies the enlargability of the universal enveloping algebras and the domain problems.
应用推荐