Please help us improve the quality of example sentences! Edit on Github

归纳出解线性方程组的简捷程序。Induced a kind of convenient procedure for the solution of the linearity equational group.

这些方程式与数学中的方程类似，用来表明两个表达式是相当的。These equational laws are similar to those used in mathematics to show that two expressions are equivalent.

Other words in sentence

等式句与对等句是两种从形式上看上去极为相似的句式。The Equational Sentence and the Equative sentence are similar in form, but are quite different if analyzed semantically.

这是一个用于一阶和逻辑方程式的自动理论证明器，用于支持语言处理中的推理。This is an automated theorem prover for first-order and equational logic, used to support inference in language processing.

本文用这种方法讨论可分离函数及不可分离函数的实现问题。Problems of equational realizations of separable functions and nonseparable functions are discussed by using this method in this paper.

提出的所谓质流相似法，不同于传质相似理论中方程分析法和量纲分析法。The similarity method of mass flow, as it is called in this paper, is different from the methods of equational analysis and the dimensional analysis.

提出了重写系统中的显式归纳方法，设计了一个新的归纳定理证明系统。In this paper, an explicit induction method in rewriting systems is proposed, and a new algorithm based on it is designed to prove inductive theorems of equational systems.

Other words in sentence

文中通过理论分析和必要的公式推导，证明了系统是渐进稳定的，并且仿真结果也验证了MRRC的有效性。It can be proved that MRRC yields asymptotic stability through theoretical analysis and equational results. At last the effective result is proved by the simulation curves.

本文通过构造迭代函数，利用逐次逼近的方法给出了一类方程根的存在性与唯一性的判断的一种解决方案。By means of constructional iterative equation, this paper presents a way to give out the existence and singularity of a type of equational root with gradual approach method.

配合了现在市面上五花八门、尺寸不再单一的图书，打破了传统书架的固定框架，空间均分的局限性，使用起来方便自如。Cooperated now on market multifarious, dimension no longer onefold books, broke the fixed frame of traditional bookshelf, the limitation with equational space, use rise convenient freely.

提出了一种利用方向矢量间相关性判断阵列模糊的算法，克服了方程组法不适合判断复杂阵列模糊以及谱峰搜索法计算量大的不足。A new arithmetic using relativity to judge array ambiguity is introduced. The shortage of equational arithmetic when array is complex and arithmetic of searching the spectrum peaks is conquered.