1.
The Structural Proof Method of Parseval Equacity;
Parseval等式的一种构造性证明
2.
Try of Engaging in Constructive of Proof by Rolle Theorem;
利用罗尔定理进行构造性证明的尝试
3.
A Structural Proof to Kartorovic Integral Inequality;
康托洛维奇积分不等式的构造性证明
4.
The Conformational Proof of a Family Maximal Free Submonoids of the Free monoid X~*;
半群X~*的一族极大自由幺子半群的构造性证明
5.
The Constructive Proof and Calculation of the Solutions of Boundary Value Problem of Ordinary Differential Equation
常微分方程边值问题解的构造性证明及其计算
6.
A Constructive Proof of Periodic Boundary Value Problems of One Class of Second Order Linear ODE
一类二阶线性周期边值问题解的存在唯一性的构造性证明(英文)
7.
Strudure Function and Make Use of Function Property to Prove Inequation;
构造函数,利用函数性质证明不等式
8.
A Modular Approach on Building Certified Software System;
模块化构造软件系统安全性证明的研究
9.
The Application of Construction Method in Graph Theory--On proof of existence;
“构造法”在图论中的应用——关于存在性的证明
10.
Construct the Auxiliary Function, Demonstrate the Inequality by Making Use of Function Characteristics;
构造辅助函数,利用函数性质证明不等式
11.
Two Constructive Methods of Auxiliary Functions in The Proof of Differential Intermediate Value Propositions;
微分介值性命题证明中辅助函数构造两法
12.
The Construction of Orthogonal Array Lt~u[t~q] and the Demonstration of Its Orthogonality;
正交表Lt~u[t~q]的构造及正交性的证明
13.
The method was proved to be effective based on the Lyapunov stability theory and Barbalat lemma.
基于Lyapunov稳定性定理和Barbalat定理,严格证明了该构造方法的正确性。
14.
The structural complexities must be unravelled.
必须查明构造的复杂性。
15.
The Difficulties in Demonstrating the Inequality by Use of Function Monotonicity--Construct the Auxiliary Function
利用函数单调性证明不等式的难点——构造辅助函数
16.
qualified cargo ship safety construction certificate
有限制货船构造安全证明书
17.
Structure is one of the methods that proves inequality.
构造法是证明不等式常用的方法之一。
18.
The Application of Constructing Auxiliary Function in Calculus Proof;
构造辅助函数在微积分证明中的应用