证明性的

Since the existence of embedded rotation surface with given Gauss curvature function has been well proofed, the design and modeling of the surface becomes possible.

由于给定Gauss曲率函数的嵌入旋转曲面存在性问题已经得到较好的证明，故使得曲面的设计成为可能。

The existence of the radially classical solutions with Dirichlet boundary value in unit ball was investigated. Based on perturbation technique, topological method and comparability theorem, the existence of the radially symmetric solutions for the generalized mean curvature equations with proper presupposition was established.

在单位球内考虑广义平均曲率方程组具有Dirichlet边值条件的径向古典解，运用摄动技巧、拓扑方法及比较原理，在一个适当的条件下，证明了广义平均曲率方程组径向对称解的存在性。

The first part of the paper focuses on Saddlepoint Programming . It explicates SP's origin background, classification and relationship with other mathematical programing . The optimal conditions of SP has been proven and its geometric interpretation has been made.

文中首先讨论鞍点规划原理，阐明了这种规划产生的工程背景、分类、数学表述及其与一般数学规划的关系；证明了鞍点规划最优性条件的有关定理，并给出了几何解释。

Based on it and after introducing suitable Hilbert space, the existence of global attractor of the moist atmosphere is obtained.

基于此，并引入适当的Hilbert空间之后，证明了湿大气全局吸引子的存在性，从而将在干空气中的结论推广到湿空气中。

According to the simulation testing and the comparision with several algorithm was verified and the global convergence property of the algorithm was proved.

通过仿真算法及与几种算法的比较结果验证了算法的有效性，证明了算法的全局收敛性。

These observations have therefore demonstrated the equivalence of the effects of acceleration and those of gravitation.

这些观察数据由此得以证明：加速的影响和引力的影响的等效性。

First, we transform the form of the original total energy and prove the existence of the ground state energy.

而此篇文章的结果主要参考至[2]。我们先转换原本能量的表示式，并且证明了基态能量的存在性。

By means of mutation and heterokaryosis,development of new virulent variety was the main cause of breakdown of resistance in wheat leaf rust.

国内外的经验证明，应用抗病品种和提高小麦品种的抗病性，是防治小麦病害的最基本和最重要途径。

Some sufficient condition to guarantee the existence of global invariant manifold s consisting zero homotopic closed orbits is gived.

当在每个不变柱面上有奇点时证明了这类系统局部极限环的存在性；同时给出了这类系统存在由第一类闭轨组成的全局不变流形的条

In§1.2, after some necessary preparation on dynamical systems, we introduce the concepts of hyperbolicity and Axiom A for flows.

在§1.2中，在介绍了一些动力系统的必要知识后，我们对流引入了双曲性与公理A的概念，并且不加证明地罗列了一些与此有关的结果。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。