证明性的

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的概念，并且不加证明地罗列了一些与此有关的结果。

Singer Leona Lewis and former Led Zeppelin guitarist Jimmy Page emerged as the bus transformed into a grass-covered carnival float, and the pair combined for a rendition of "Whole Lotta Love".

歌手leona刘易斯和前率领的飞艇的吉他手吉米页出现巴士转化为基层所涵盖的嘉年华花车，和一双合并为一移交&整个lotta爱&。

This is Kate, and that's Erin.

这是凯特，那个是爱朗。