mathematical theorem
teorema matemático
proven theorem
teorema comprovado
theorem statement
declaração do teorema
fixed point theorem
teorema do ponto fixo
existence theorem
teorema da existência
mean value theorem
teorema do valor médio
comparison theorem
teorema de comparação
sampling theorem
teorema da amostragem
central limit theorem
teorema do limite central
remainder theorem
teorema do resto
coase theorem
teorema de Coase
chinese remainder theorem
teorema chinês do resto
uniqueness theorem
teorema da unicidade
pythagorean theorem
teorema de Pitágoras
reciprocity theorem
teorema da reciprocidade
theorem proving
prova de teoremas
gauss theorem
teorema de gauss
duality theorem
teorema da dualidade
approximation theorem
teorema de aproximação
separation theorem
teorema da separação
binomial theorem
teorema binomial
intermediate value theorem
teorema do valor intermediário
I agree with the theorem that the best defence is offence.
Eu concordo com o teorema de que a melhor defesa é o ataque.
To establish Cantor's theorem it must be shown that f is necessarily not surjective.
Para estabelecer o teorema de Cantor, deve-se mostrar que f não é necessariamente sobrejetiva.
His theorem can be translated into simple terms.
O teorema dele pode ser traduzido em termos 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.
Neste artigo, será apresentado um teorema de rigidez de superfície em uma forma de espaço real. Além disso, obtemos teoremas de rigidez de subvariedade em esfera que aprimoram o resultado de Hou e Xu.
Bitonic is introduced and a theorem is proved. The algorithm of bitonic merge-sort is given.
Bitônico é introduzido e um teorema é provado. O algoritmo de ordenação por inserção bitônico é dado.
In addition,the paper proposes decision judgement theorem,decision discernment theorem, decision surplusage discarding theorem and hole digging principle on decision factors universe X .
Além disso, o artigo propõe o teorema de julgamento de decisão, o teorema de discernimento de decisão, o teorema de descarte de excedente de decisão e o princípio de escavação de buracos no universo de fatores de decisão X.
This paper presents the source coding theorem for discrete-time stationary Gaussian sources with absolutely summable autocorrelation sequence.
Este artigo apresenta o teorema de codificação de origem para fontes gaussianas estacionárias de tempo discreto com sequência de autocorrelação absolutamente somável.
The present paper using upper and lower solutions,proves an existence theorem of almostperiodic solutions for integrodifferential systems.
O presente artigo, utilizando soluções superiores e inferiores, prova um teorema de existência de soluções quase periódicas para sistemas de equações diferenciais integrais.
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.
As propriedades não oscilatórias das equações de diferença retardadas de segunda ordem semilinear são estudadas. O teorema de comparação e a condição suficiente para a não oscilação são obtidos.
new minimax inequality theorem is established,which will be used to study theexistence problems of solutions for quasi-variational inequalities on paracompact sets.
Um novo teorema de desigualdade minimax é estabelecido, que será usado para estudar os problemas de existência de soluções para desigualdades quase-variacionais em conjuntos paracompactos.
Based on some basic theorems in theory of numbers this program takes advantage of probabilistic algorithm to test a large number for primality.
Com base em alguns teoremas básicos na teoria dos números, este programa aproveita um algoritmo probabilístico para testar um grande número em busca de primalidade.
This approach use tree index and theorem about leaforder region to evaluate semiflexible queries over ontology tree.
Esta abordagem utiliza índice de árvore e teorema sobre a região de ordem folha para avaliar consultas semiflexíveis sobre a árvore de ontologia.
In this paper, some general theorems and variational principles of the boundary value problem for two time instants in nonlinear elastodynamics are developed.
Neste artigo, são desenvolvidos alguns teoremas gerais e princípios variacionais do problema de valor de contorno para dois instantes de tempo em elastodinâmica não linear.
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.
Este artigo generaliza algumas propriedades de coalgebra para π-coalgebra, que é definida por Alexis Virelizier. O principal resultado do artigo generaliza o teorema fundamental de isomorfismo para π-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.
Ao provar as propriedades de função demicontínua e séries com termos de função, são introduzidos métodos do teorema de coveting finito e sua aplicação na resolução de problemas.
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.
Este artigo apresenta e prova um teorema discriminatório que é adequado para examinar a determinabilidade do sistema linear discreto, o que mostra que uma questão importante nesta área foi resolvida.
As an application, some nonexistence theorems of nonconstant stable harmonic maps from a Finsler manifold to a Riemannian manifold are given.
Como aplicação, são apresentados alguns teoremas de inexistência de mapeamentos harmônicos estáveis e não constantes de um manifold de Finsler para um manifold Riemanniano.
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.
Nas aplicações práticas de matrizes altamente não normais, esses teoremas podem ser mais úteis do que seus casos especiais de autovalor generalizado e podem fornecer mais informações descritivas.
Explore vocabulários pesquisados frequentemente
Quer aprender vocabulário com mais eficiência? Baixe o aplicativo DictoGo e aproveite mais recursos de memorização e revisão de vocabulário!
Baixe o DictoGo agora