mathematical theorem
teorema matemático
proven theorem
teorema probado
theorem statement
enunciado del teorema
fixed point theorem
teorema del punto fijo
existence theorem
teorema de existencia
mean value theorem
teorema del valor medio
comparison theorem
teorema de comparación
sampling theorem
teorema de muestreo
central limit theorem
teorema del límite central
remainder theorem
teorema del residuo
coase theorem
teorema de Coase
chinese remainder theorem
teorema del residuo chino
uniqueness theorem
teorema de unicidad
pythagorean theorem
teorema de Pitágoras
reciprocity theorem
teorema de reciprocidad
theorem proving
demostración de teoremas
gauss theorem
teorema de gauss
duality theorem
teorema de dualidad
approximation theorem
teorema de aproximación
separation theorem
teorema de separación
binomial theorem
teorema binomial
intermediate value theorem
teorema del valor intermedio
I agree with the theorem that the best defence is offence.
Estoy de acuerdo con el teorema de que la mejor defensa es el ataque.
To establish Cantor's theorem it must be shown that f is necessarily not surjective.
Para establecer el teorema de Cantor, se debe demostrar que f no es necesariamente sobreyectiva.
His theorem can be translated into simple terms.
Su teorema se puede traducir a términos sencillos.
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.
En este artículo, se presentará un teorema de rigidez de la superficie en una forma de espacio real. Además, obtenemos teoremas de rigidez de subvariedad en esfera que mejoran el resultado de Hou y Xu.
Bitonic is introduced and a theorem is proved. The algorithm of bitonic merge-sort is given.
Se introduce Bitonic y se demuestra un teorema. Se proporciona el algoritmo de ordenamiento por mezcla bitónico.
In addition,the paper proposes decision judgement theorem,decision discernment theorem, decision surplusage discarding theorem and hole digging principle on decision factors universe X .
Además, el artículo propone el teorema de juicio de decisión, el teorema de discernimiento de decisión, el teorema de descarte de superávit de decisión y el principio de excavación de agujeros en el universo de factores de decisión X.
This paper presents the source coding theorem for discrete-time stationary Gaussian sources with absolutely summable autocorrelation sequence.
Este artículo presenta el teorema de codificación de la fuente para fuentes gaussianas estacionarias de tiempo discreto con secuencia de autocorrelación absolutamente sumable.
The present paper using upper and lower solutions,proves an existence theorem of almostperiodic solutions for integrodifferential systems.
El presente artículo, utilizando soluciones superiores e inferiores, demuestra un teorema de existencia de soluciones casi periódicas para sistemas integro diferenciales.
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.
Se estudian las propiedades no oscilatorias de las ecuaciones de diferencia retardadas de segundo orden semiclineares. Se obtiene el teorema de comparación y la condición suficiente para la no oscilación.
new minimax inequality theorem is established,which will be used to study theexistence problems of solutions for quasi-variational inequalities on paracompact sets.
Se establece un nuevo teorema de desigualdad minimax, que se utilizará para estudiar los problemas de existencia de soluciones para desigualdades cuasi-variacionales en 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.
Basado en algunos teoremas básicos en la teoría de números, este programa aprovecha un algoritmo probabilístico para probar un gran número en cuanto a su primalidad.
This approach use tree index and theorem about leaforder region to evaluate semiflexible queries over ontology tree.
Este enfoque utiliza un índice de árbol y un teorema sobre la región de orden de hoja para evaluar consultas semiflexibles sobre el árbol de ontología.
In this paper, some general theorems and variational principles of the boundary value problem for two time instants in nonlinear elastodynamics are developed.
En este artículo, se desarrollan algunos teoremas generales y principios variacionales del problema de valor límite para dos instantes de tiempo en elastodinámica no lineal.
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 artículo generaliza algunas propiedades de la coalgebra a la π-coalgebra, que está definida por Alexis Virelizier. El resultado principal del artículo generaliza el teorema fundamental del isomorfismo a 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.
Al demostrar las propiedades de la función demicontinua y la serie con términos de función, se introducen los métodos del teorema de coveting finito y su aplicación en la resolución 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 artículo presenta y demuestra un teorema discriminante que es adecuado para examinar la determinabilidad del sistema lineal discreto, lo que demuestra que se ha resuelto un problema importante en este campo.
As an application, some nonexistence theorems of nonconstant stable harmonic maps from a Finsler manifold to a Riemannian manifold are given.
Como aplicación, se dan algunos teoremas de inexistencia de aplicaciones armónicas estables no constantes de una variedad de Finsler a una variedad Riemanniana.
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.
En las aplicaciones prácticas de matrices altamente no normales, estos teoremas pueden ser más útiles que sus casos especiales de autovalores generalizados y pueden proporcionar más información descriptiva.
Explora el vocabulario más buscado
¿Quieres aprender vocabulario de manera más eficiente? ¡Descarga la aplicación DictoGo y disfruta de más funciones para memorizar y repasar vocabulario!
Descarga DictoGo ahora