Translation for "teoremas son" to english

Teoremas son

• theorems are

Translation examples

theorems are

El derecho a disfrutar de los beneficios de la ciencia y sus aplicaciones implica las mismas posibilidades en el campo de la ciencia, entendida como conocimiento que es verificable y refutable, incluidas la revisión y la refutación de teoremas e interpretaciones establecidos.
The right to enjoy the benefits of science and its applications entails the same possibilities in the field of science, understood as knowledge that is testable and refutable, including revisiting and refuting existing theorems and understandings.

Los proyectos también procuraban diseñar un algoritmo para traducir un escrito de especificación en grupos de línea sincrónicos a un conjunto de teoremas por demostrar, de donde pudieran extraerse los programas susceptibles de ofrecer aplicaciones de interés en las esferas de la robótica y la geodesia o los levantamientos aéreos.
The projects also sought to design an algorithm to translate a specification written in SLG into a set of theorems to be proved, from which programs can be extracted and that can provide interesting applications in the areas of robotics and geodetic or aerial survey.

:: Tesis doctoral: el teorema de Bayes y la presunción de inocencia
:: Dissertation: Bayes Theorem and the Presumption of Innocence

Los proyectos también procuraban diseñar un algoritmo para traducir un escrito de especificación en grupos de línea sincrónicos a un conjunto de teoremas por demostrar, de donde pudieran extraerse los programas susceptibles de ofrecer aplicaciones de interés en las esferas de la robótica y la geodesia o los reconocimientos aéreos.
The projects also sought to design an algorithm to translate a specification writing in synchronous line groups (SLG) into a set of theorems to be proved, from which programmes can be extracted and which can provide interesting applications in the areas of robotics and geodetic or aerial survey.

Según el teorema de Stolper-Samuelson, cabría esperar que la desigualdad disminuyese al liberalizarse el comercio en las economías en desarrollo con un excedente de mano de obra, ya que el empleo y la proporción correspondiente a los salarios aumentan a causa de la expansión de las exportaciones de manufacturas de gran densidad de mano de obra.
(a) Freer international trade – Following the Stolper-Samuelson theorem, one might expect inequality to decrease with trade liberalization in labour-surplus developing economies, as employment and the share of wages rise because of the expansion of exports of labour-intensive manufactures.

No importa cuantos teoremas de reforma se presenten, la voluntad debe emanar de los miembros permanentes del Consejo de Seguridad que tienen el poder de veto.
No matter how many reform theorems are advanced, the will has to come from the permanent members of the Council that wield the veto.

Este es un inconveniente lamentable de la optimización que se conoce como el teorema fundamental de Fisher: "mientras más adaptado se torna un organismo, menos adaptable es a cualquier nuevo cambio".
This is a regrettable downside of optimization referred to as Fisher's fundamental theorem: "The more highly adapted an organism becomes, the less adaptable it is to any new change."

–Los teoremas de Kovacs.
The Kovacs Theorems.

Teoremas embriagadores.
Intoxicating theorems.

Conozco ese teorema.
I know the theorem.

Todos esos teoremas y leyes.
All those theorems and givens.

El Bancroft del teorema de Bancroft.
The Bancroft’s Theorem Bancroft.

el último teorema de Fermat.
Fermat's Last Theorem."

Teorema de Kurt Gödel.
Kurt Gödel's Theorem.

al término del teorema de Pitágoras.
at the end of the theorem of Pythagoras.

—Es el último teorema de Fermat.
—That is Fermat’s last theorem.