1.
The Simple Proof for Solution of Higher order Linear Differential Equations;
高阶线性微分方程解构造定理的简证
2.
The Simple Proof for Solution of Higher-Order Linear Differential Equations;
高阶常系数线性方程解构造定理的简证
3.
A new construction theorem for orthodox semigroups with inverse transversals was given.
本文给出了具有逆断面的纯正半群的一个新的构造定理.
4.
Theorem 20 is the basis of a rather detailed study of the structure of extremal graphs.
定理20是极图构造更详细的研究的基
5.
The Problem of the Definition of "Construction" in Construction Grammar;
构造语法理论关于construction定义问题研究
6.
The Formational Methods of Additional Function in the Value Principle ofLagrange;
Lagrange中值定理辅助函数的构造方法
7.
Try of Engaging in Constructive of Proof by Rolle Theorem;
利用罗尔定理进行构造性证明的尝试
8.
Fiction of Auxiliary Functions in Intermediary Theorem;
试论中值定理应用中的辅助函数构造
9.
Logical Structure, Decidability and Use of Hypothetical plus Disjunctive Inference;
假言+选言推理的逻辑构造、判定和使用
10.
The construction of additive functions to testify differential mean value theorem
微分中值定理证明中辅助函数的构造
11.
The method was proved to be effective based on the Lyapunov stability theory and Barbalat lemma.
基于Lyapunov稳定性定理和Barbalat定理,严格证明了该构造方法的正确性。
12.
Information processing-Program constructs and conventions for their representation
GB/T13502-1992信息处理程序构造及其表示的约定
13.
To Testify Lagrangian Mean Value Thorem by Constructing an Additive Function with Vector;
运用向量构造辅助函数证明拉格朗日中值定理
14.
A new fast public-key cryptographic construction based on chinese remainder theorem;
基于中国余数定理构造的快速公钥加密算法
15.
Demonstration about the Structure Law of Auxiliary Function by the Lagrange Theorem Mean;
拉格朗日中值定理辅助函数构造法的证明
16.
A Method to Construct Auxilliary Functions While Using Rolle Theorem;
应用罗尔定理时的一种辅助函数构造法
17.
Constructing Auxiliary Functions of Prove the Median Theorem by Rotation and Translation;
利用旋转平移构造辅助函数推证中值定理
18.
Differential Intermediate Value Theorem Proving Problem in the Auxiliary Function Constructor
微分中值定理证明题中辅助函数的构造方法