lemma是什么意思

网络释义

用法例句

By citing a mathematical testifying method, the judges can find or establish an auxiliary theorem so as to testify whether legal interpretation can have ultimately the "real" or general objectivity.

裁判者是否能援用数学证明的方法,在疑难案件中发现或设定一条辅助定理,可旁证法律解释最终能否获得"真的"或普适意义上的客观性。

A subsidiary proposition assumed to be valid and used to demonstrate a principal proposition.

引理，辅助定理被认为是合理且被用于证明主要命题的次要命题

Source Code Control Auxiliary Path : Specifies an auxiliary path to the source code control project.

源代码管理辅助路径:指定源代码管理项目的辅助路径。

Shallowly Discusses in the Differential Theorem of Mean Proof the Auxiliary Function;

浅谈微分中值定理证明中的辅助函数

The Proving of Lagrange Theorem and the Application of Auxiliary Function;

拉格朗日定理证明与辅助函数的应用

The Formational Methods of Additional Function in the Value Principle ofLagrange;

Lagrange中值定理辅助函数的构造方法

Fiction of Auxiliary Functions in Intermediary Theorem;

试论中值定理应用中的辅助函数构造

The construction of additive functions to testify differential mean value theorem

微分中值定理证明中辅助函数的构造

Principle and Application of Quantitative Process Accessory System By Satellite Cloud Picture

卫星云图定量处理辅助系统原理和应用

Study on Computer Aided Conceptual Design Based on Qualitative Reasoning for Mechanism;

基于定性推理的机构辅助概念设计研究

The Management of the Quota of Secondary Material Consumption in Process Digitalization System;

工艺数字化系统中辅助材料消耗定额的管理

To Testify Lagrangian Mean Value Thorem by Constructing an Additive Function with Vector;

运用向量构造辅助函数证明拉格朗日中值定理

Demonstration about the Structure Law of Auxiliary Function by the Lagrange Theorem Mean;

拉格朗日中值定理辅助函数构造法的证明

Several Methods of Finding Auxiliary Function While Illustrating Rolle Theorem;

利用Rolle定理证明时作辅助函数的若干方法

Processing Method of Uncertain Information for Combat Decision-Aid;

作战辅助决策中的不确定性信息处理方法

A Method to Construct Auxilliary Functions While Using Rolle Theorem;

应用罗尔定理时的一种辅助函数构造法

Constructing Auxiliary Functions of Prove the Median Theorem by Rotation and Translation;

利用旋转平移构造辅助函数推证中值定理

Computer Aided Applicable Data Processing Method for Evaluating Roundness Error;

计算机辅助评定圆度误差的实用数据处理方法

Differential Intermediate Value Theorem Proving Problem in the Auxiliary Function Constructor

微分中值定理证明题中辅助函数的构造方法