theorem

I agree with the theorem that the best defence is offence.

To establish Cantor's theorem it must be shown that f is necessarily not surjective.

His theorem can be translated into simple terms.

In this paper , a rigidity theorem of hypersurface in real space form will begiven.In addition, we obtain rigidity theorems of submanifold in sphere which improvethe result of Hou and Xu.

Bitonic is introduced and a theorem is proved. The algorithm of bitonic merge-sort is given.

In addition,the paper proposes decision judgement theorem,decision discernment theorem, decision surplusage discarding theorem and hole digging principle on decision factors universe X .

This paper presents the source coding theorem for discrete-time stationary Gaussian sources with absolutely summable autocorrelation sequence.

The present paper using upper and lower solutions,proves an existence theorem of almostperiodic solutions for integrodifferential systems.

The nonoscillatory properties of the second order half-linear delay difference equations are studied. The comparison theorem and sufficient condition for the nonoscillation are obtained.

new minimax inequality theorem is established,which will be used to study theexistence problems of solutions for quasi-variational inequalities on paracompact sets.

Based on some basic theorems in theory of numbers this program takes advantage of probabilistic algorithm to test a large number for primality.

This approach use tree index and theorem about leaforder region to evaluate semiflexible queries over ontology tree.

In this paper, some general theorems and variational principles of the boundary value problem for two time instants in nonlinear elastodynamics are developed.

This paper generalizes some properties of coalgebra to π-coalgebra which is defined by Alexis Virelizier. The main result in the paper generalizes fundamental isomorphism theorem to π-coalgebra.

By proving properties of demicontinuous function and series with function terms, use methods of finite coveting theorem and its application in proving problems are introduced.

This paper presents and proves a discriminant theorem which is suited to examine the determinability of the discrete linear system,which shows that an outstanding issue of this field has been solved.

As an application, some nonexistence theorems of nonconstant stable harmonic maps from a Finsler manifold to a Riemannian manifold are given.

In the practical applications of highly nonnormal matrices, these theorems may be more useful than their generalized eigenvalue special cases and may provide more descriptive information.