阐述了一个基于胞腔分解的不等式证明算法。
An automated inequality proving algorithm is presented based on a mixed method including a so called cell decomposition.
本文着重论述了凸函数在不等式证明中的重要应用。
This article emphasizes important application of convex function in inequality proving.
并举例说明柯西不等式在不等式证明中应用的广泛性和灵活性。
The application widespread and flexibility of Cauchy inequality are show by the examples.
本文用微分不等式证明了二阶奇摄动系统解的存在性、唯一性和周期性。
This paper proves the existence, uniqueness and periodic problem of the solution about second order singular perturbation system by using the differential inequality.
给出了利用积分和证明不等式的原理以及积分和在不等式证明中的应用。
This paper displays the principle of using integral sum to prove inequality and the application of the principle.
本文研究了均值不等式在简化初等不等式证明及定积分等方面的一些应用。
Here some applications of average value inequality on the proof of inequality and integral are presented.
摘要：对“数学思想”这一概念进行定义，接着谈谈不等式证明中的几种数学思想。
Abstract: To "mathematics thought" this concept go on and define, then thin in inequality several kinds of mathematics thoughts in proving.
本文以两个自变量的拟线性双曲型方程的古尔沙问题为例，应用反函数和积分不等式证明了等价积分方程组解的存在唯一性，同时给出了解的存在区域和已知参量的依赖关系。
In this paper, we show the domain of the existence of the solution on Goursat problem for quasi—linear hyperbolic equation and obtain the Theorem of the existence and uniqueness in above domain.
然而，JohnBell后来通过实验反驳Bell不等式(正是它使epr思维实验正式化)证明了真实粒子间的纠缠。
John Bell, however, later demonstrated entanglement in real particles by experimental refutation of the Bell Inequality (which formalized the EPR thought experiment).
通过给出几个实例，介绍了利用二次型的半正定性证明不等式的方法。
The author introduce the method of applying positive semi-definite quadratic form to prove inequality by giving several examples.
证明了有关函数平均值的一个估值不等式，应用它推出了若干重要的不等式。
An inequality of estimate for function means is proved, and by using it some classical inequalities are proposed.
文章给出了几种常用方法，通过这些方法，可以较为简洁，方便地解决一些不等式的证明。
This paper gives out a few methods to prove inequation and by which we can simply and quickly solve the problem.
第二部分将通常的积分平均值不等式推广成一般形式，并利用它给出一些不等式的证明。
The part two general forms was derived with general integral average inequality and Some inequality was proved with this result was obtained above.
本文从几个命题的证明来阐述微分不等式的应用。
This article by seeking to prove propositions, set forth the application of differential inequality.
凸(凹)函数有很多特性，这些性质可广泛应用于不等式的证明及误差估计等方面。
There are convex function and concave function, Which are of expansive application in many aspects, especially in inequality proof and error estimate.
为此先推导离散格林函数的权模估计和有限元解的渐近不等式展开，然后给出公式的证明。
For this, we derive the weighted estimates for discreet Green function and the asymptotic error expansion inequalities, and then the proofs of the formulas are given.
本文介绍了用微分法讨论不等式有关证明方法，利用这些方法使不等式的证明变得非常简单。
The paper introduces the methods of proving the inequality with differentiation, which make it easy to prove some inequalities.
利用不动点原理及微分不等式理论，我们证明了边值问题解的存在性，并给出了解的一致有效渐近展开式。
Using the fixed point principle and the theory of differential inequality, we prove the existence of the solution and an uniformly valid asymptotic expansions of the solution is given as well.
本文列举了利用概率论的思想方法证明不等式的六种基本方法。
This article enumerates six fundamental methods of using the method of thinking of probability to prove the inequality.
文章针对被积函数是连续函数、可导函数的定积分不等式提出了几种有效的证明方法。
This article analyses how to prove the stable integral inequality effectively while knowing the function is continuous and derivative.
在适当的条件下，通过建立一个先验不等式，证明了其唯一非负解是平凡的。
By establishing a prior inequality, we prove that, under suitable conditions, the unique non-negative solutions of the problems are trivial.
介绍几种常用的证明不等式的方法。
This article introduces several common methods about the demonstration of Inequality.
同时利用信息论中的不等式，直接地证明最小交互熵解就是对偶几何规划解；
Then, using the inequality of information theory, the paper directly proved that the minimum cross-entropy solution is exactly the dual geometric programming solution.
作为应用，一不动点定理，一极大元定理，一重合点定理和一些极小极大不等式被证明。
As applications, a fixed point theorem, a maximal element theorem, a coincidence theorem, some minimax inequalities are proved in FC-space.
在分析数学中有些不等式的证明往往比较复杂，而且具体的直观含义也比较抽象。
In analysis mathematics, some identifications of inequalities are often more complicated, and concrete ocular meaning is more abstract.
我们只证明这个不等式方程，而没有证明标准数据流方程(8)，原因是我们所感兴趣的只是解的正确性而不是解的最优性。
We only prove an inequation rather than the standard dataflow equation (8) because we are interested only in the correctness of the solution, not in its optimality.
采用线性矩阵不等式和多凸性处理方法，证明了该问题等价于线性矩阵不等式的可解性问题。
In terms of multiconvexity and linear matrix inequality, this problem is proved to be equivalent to an LMI feasible problem.
我们利用边界层校正法以及微分不等式理论证明了解的存在定理，并构造出其解的一致有效渐近展开式。
Using the method of boundary layer correction and the differential inequality theory, we prove the existence theorem of solutions and construct the uniformly valid asymptotic expansions of.
我们利用边界层校正法以及微分不等式理论证明了解的存在定理，并构造出其解的一致有效渐近展开式。
Using the method of boundary layer correction and the differential inequality theory, we prove the existence theorem of solutions and construct the uniformly valid asymptotic expansions of.
应用推荐