1.
Proof of Two Formulas in q-Series by Jackson q-Difference Operator
用Jackson q-差分算子证明两个q-级数公式
2.
Set up operator to insert and delete operator to ensure that the path of continuity and simplicity.
设置了插入算子和删除算子以保证路径的连续性和简明性。
3.
On the Proof of Lipschitz Properties of a Class of Probabilistic Type Operators;
关于一类概率型算子的Lipschitz性质保存性的证明
4.
Proof of Properties of Function Dependencies and Multi-Valued Dependencies with Operator
函数依赖和多值依赖性质的算子化证明
5.
Study on existence of eigenvalue for sub-laplacian on Heisenberg group
Heisenberg群上的次拉普拉斯算子特征值存在性证明
6.
A Prove about Character Correspondences and The Exchange of Operator Group under Group Action
关于群作用下的特征标对应与算子群的交换性的一个证明
7.
Divorce certificate and evidence of custody for children where appropriate
离婚证明和子女抚养权证明
8.
Time will tell.
日久自明(今后的日子可以证明)。
9.
He documented the case with abundant evidence.
他用充分的证据证明这个案子。
10.
Head and torso of the Hellenistic prince are united by computer in an approximate reconstruction that suggests the two pieces were once one.
通过计算机，希腊王子的头部和躯于被连接在一起。 这个粗糙的修复品证明两部分曾经是一体的。
11.
It is proved that the substitituon mapping is a proper Fourier integral operator with generalized hypoellipticity.
证明了变量替换映射是一个具广义亚椭园性的适的富里叶积分算子。
12.
In this paper, the sufficient and necessary conditions for existence and uniqueness of fixed point for a class of mixed monotone operator are proved by using cone theory and introducing the concept of adjoint sequence.
引入了伴随列的概念,运用锥理论证明了一类混合单调算子存在不动点的充分必要条件.
13.
The existence of solutions for a class of elliptic systems is denoted, by Mountain Pass Lemma, the existence result for system of more general operator including p-Laplacian, is obtained.
利用经典的山路引理，证明了在一般形式的算子下，椭圆型方程组非平凡解的存在性。
14.
The effectiveness of the method is demonstrated through some simulation examples.
仿真实验证明了该算法的有效性。
15.
The result supports the feasibility of the method.
粗对准实验证明该算法的有效性。
16.
Their calculations have all been proved to be castles in the air.
他们的打算证明，全都不过是空中楼阁。
17.
The Matlab simulation shows the proposed method is valid.
通过仿真算例证明了该方法的有效性。
18.
The Proof of Rationality of ID3 Algorithm and Experimental Analysis;
ID3算法的合理性证明及实验分析