mathematical theorem
théorème mathématique
proven theorem
théorème démontré
theorem statement
énoncé de théorème
fixed point theorem
théorème du point fixe
existence theorem
théorème d'existence
mean value theorem
théorème de la valeur moyenne
comparison theorem
théorème de comparaison
sampling theorem
théorème d'échantillonnage
central limit theorem
théorème de la limite centrale
remainder theorem
théorème du reste
coase theorem
théorème de Coase
chinese remainder theorem
théorème des restes chinois
uniqueness theorem
théorème d'unicité
pythagorean theorem
théorème de Pythagore
reciprocity theorem
théorème de réciprocité
theorem proving
prouver des théorèmes
gauss theorem
théorème de Gauss
duality theorem
théorème de dualité
approximation theorem
théorème d'approximation
separation theorem
théorème de séparation
binomial theorem
théorème binomial
intermediate value theorem
théorème des valeurs intermédiaires
I agree with the theorem that the best defence is offence.
Je suis d'accord avec le théorème selon lequel la meilleure défense est l'offensive.
To establish Cantor's theorem it must be shown that f is necessarily not surjective.
Pour établir le théorème de Cantor, il faut démontrer que f n'est pas nécessairement surjective.
His theorem can be translated into simple terms.
Son théorème peut être traduit en termes simples.
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.
Dans cet article, un théorème de rigidité des hypersurfaces dans une forme d'espace réel sera donné. De plus, nous obtenons des théorèmes de rigidité des sous-variétés dans une sphère qui améliorent le résultat de Hou et Xu.
Bitonic is introduced and a theorem is proved. The algorithm of bitonic merge-sort is given.
Bitonic est introduit et un théorème est prouvé. L'algorithme de tri fusion bitonique est donné.
In addition,the paper proposes decision judgement theorem,decision discernment theorem, decision surplusage discarding theorem and hole digging principle on decision factors universe X .
De plus, l'article propose un théorème de jugement décisionnel, un théorème de discernement décisionnel, un théorème d'élimination des excédents décisionnels et un principe de creusement de trous sur l'univers des facteurs décisionnels X.
This paper presents the source coding theorem for discrete-time stationary Gaussian sources with absolutely summable autocorrelation sequence.
Cet article présente le théorème de codage source pour les sources gaussiennes stationnaires à temps discret avec une séquence d'autocorrélation absolument sommable.
The present paper using upper and lower solutions,proves an existence theorem of almostperiodic solutions for integrodifferential systems.
Le présent article, utilisant des solutions supérieures et inférieures, démontre un théorème d'existence de solutions presque périodiques pour les systèmes d'équations différentielles et intégrales.
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.
Les propriétés non oscillatoires des équations aux différences retardées d'ordre deux semi-linéaires sont étudiées. Le théorème de comparaison et la condition suffisante pour la non-oscillation sont obtenus.
new minimax inequality theorem is established,which will be used to study theexistence problems of solutions for quasi-variational inequalities on paracompact sets.
Un nouveau théorème d'inégalité minimax est établi, qui sera utilisé pour étudier les problèmes d'existence de solutions pour les quasi-inégalités variationnelles sur des ensembles paracompacts.
Based on some basic theorems in theory of numbers this program takes advantage of probabilistic algorithm to test a large number for primality.
Basé sur quelques théorèmes de base en théorie des nombres, ce programme tire parti d'un algorithme probabiliste pour tester un grand nombre en termes de primalité.
This approach use tree index and theorem about leaforder region to evaluate semiflexible queries over ontology tree.
Cette approche utilise un index d'arbre et un théorème concernant la région de l'ordre des feuilles pour évaluer les requêtes semi-flexibles sur l'arbre ontologique.
In this paper, some general theorems and variational principles of the boundary value problem for two time instants in nonlinear elastodynamics are developed.
Dans cet article, certains théorèmes généraux et principes variationnels du problème aux valeurs limites pour deux instants dans l'élastodynamique non linéaire sont développés.
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.
Cet article généralise certaines propriétés de l'algèbre de co-coalgebra en π-coalgebra qui est définie par Alexis Virelizier. Le résultat principal de l'article généralise le théorème d'isomorphisme fondamental à la π-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.
En prouvant les propriétés des fonctions et des séries demi-continues avec des termes de fonction, les méthodes du théorème de coveting fini et leur application dans la résolution de problèmes sont présentés.
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.
Cet article présente et démontre un théorème discriminant qui convient à examiner la déterminabilité du système linéaire discret, ce qui montre qu’une question importante de ce domaine a été résolue.
As an application, some nonexistence theorems of nonconstant stable harmonic maps from a Finsler manifold to a Riemannian manifold are given.
À titre d'application, certains théorèmes d'inexistence de mappings harmoniques stables et non constants d'une variété de Finsler vers une variété riemannienne sont donnés.
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.
Dans les applications pratiques des matrices hautement non normales, ces théorèmes peuvent être plus utiles que leurs cas spéciaux d'eigenvalues généralisées et peuvent fournir des informations plus descriptives.
Explorez le vocabulaire le plus recherché
Vous souhaitez apprendre du vocabulaire plus efficacement ? Téléchargez l'application DictoGo et profitez de plus de fonctionnalités de mémorisation et de révision du vocabulaire !
Téléchargez DictoGo maintenant