代数操作

By using standard ideas from Lie groups and Lie algebra, the recursive formulation and the Lagrangian formulation were presented.

采用李群和李代数的方法来描述牛顿—欧拉方程和拉格朗日方程，得到机器人动力学在关节空间和操作空间内单个连杆的递推公式以及整个系统动力学方程的矩阵表达式。

Linear algebra of matrix inversion, the use of this algorithm can be simplified matrix operation.

详细说明：线性代数中的矩阵求逆的问题，使用此算法可以简化矩阵的操作。

In this paper, we describe the history of Mizar system and the method to use theMizar system. Then we give the definition of quaternion numbers, module, algebrastructre etc, and then we prove its properties.

本文首先介绍了Miza(来源：ABC论文61网www.abclunwen.com)r系统的计算机操作原理和使用方法，给出了在Mizar语言系统下四元数、四元数的运算、共轭、内积、模等代数结构理论的证明，所做结论都通过了Mizar系统的验证，发表在波兰的《Formalized Mathematics》杂志上，并被收录到MML数据库中。

The model has, as a submodel, the well known pi calculus.

该翻译既保持前者的操作语义，又保持其代数语义。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。