THEOREM in English translation

• THEOREM

Examples of using Theorem in Portuguese and their translations into English

E e SETHEO have been combined(with other systems) in the composite theorem prover E-SETHEO.
E and SETHEO have been combined(with other systems) in the composite theorem prover E-SETHEO.

Como o corolário de Immerman-Szelepcsényi theorem, o colapso da hierarquia de espaço logaritmântico para o primeira nível.
As a corollary of the Immerman-Szelepcsényi theorem, the logarithmic space hierarchy collapses to its first level.

Notes==König's theorem states that,
Characterizations and notes==König's theorem states that, in bipartite graphs,

no Mathematics Genealogy Project Goldfeld, Dorian(Março-Abril de 1996),«Beyond the last theorem», The Sciences: 34-40.
Mathematics Genealogy Project Goldfeld, Dorian(March-April 1996),"Beyond the last theorem", The Sciences: 34-40.

Ajtai e Endre Szemerédi provaram o teorema dos vértices("corners theorem"), um passo fundamental para generalizações dimensionais superiores do teorema de Szemerédi.
Ajtai and Szemerédi proved the corners theorem, an important step toward higher-dimensional generalizations of the Szemerédi theorem..

com Alessandro Figà-Talamanca:«A theorem of Littlewood and lacunary series for compact groups».
the ICM in Nice. with Alessandro Figà-Talamanca:"A theorem of Littlewood and lacunary series for compact groups.

coma tese"A Functorial Form of the Differentiable Riemann-Roch theorem.
of Saunders Mac Lane, with a dissertation on"A Functorial Form of the Differentiable Riemann-Roch theorem.

For diagonal elements(when"i""j"), displacements perpendicular to the axis of rotation results in the above simplified version of the parallel axis theorem.
For diagonal elements(when), displacements perpendicular to the axis of rotation results in the above simplified version of the parallel axis theorem.

1989,"A New Proof of the Gödel Incompleteness Theorem","Notices of the American Mathematical Society" v. 36, pp.
1989,"A New Proof of the Gödel Incompleteness Theorem","Notices of the American Mathematical Society" v. 36, pp.

Nos EUA em 1971, Stephen Cook publicou o documento"The complexity of theorem proving procedures" na conferencia de procedimentos da recém fundada ACM Symposium on Theory of Computing.
In the US in 1971, Stephen Cook published his paper"The complexity of theorem proving procedures" in conference proceedings of the newly founded ACM Symposium on Theory of Computing.

É mais conhecido por seu"codimension one splitting theorem", que é uma ferramenta padrão em dimensões superiores da topologia geométrica,
He is best known for his"codimension one splitting theorem", which is a standard tool in high-dimensional geometric topology,

com a tese An integral Tauberian theorem and other topics.
Jr. with thesis An integral Tauberian theorem and other topics.

baseado em uma outra vulnerabilidade onde se faz necessário utilizar o RSA com a otimização Chinese Remainder Theorem.
based on a different vulnerability having to do with the use of RSA with Chinese remainder theorem optimizations.

The marriage theorem provides a characterization of bipartite graphs which have a perfect matching and the Tutte theorem provides a characterization for arbitrary graphs.
The marriage theorem(or Hall's Theorem) provides a characterization of bipartite graphs which have a perfect matching and the Tutte theorem provides a characterization for arbitrary graphs.

Mikhlin also proved(see or) a now classical theorem on multipliers of Fourier transform in the L"p"-space,
Mikhlin also proved a now classical theorem on multipliers of Fourier transform in the L"p"-space, based on an

Pythagoras, conhecido para o theorem pythagorean, descobriu também que as relações numéricas simples no comprimento de cordas vibrando produzem a música harmonious.
Pythagoras, known for the Pythagorean theorem, also discovered that simple numerical ratios in the length of vibrating strings produces harmonious music.

Theorem: Se f(x)
Theorem: If f(x)

O Cantor mostrou(Theorem do Cantor) que para A ajustado,
Cantor showed(Cantor's Theorem) that for any set A,

O theorem pode facilmente ser generalizado e a prova do theorem geral é tão simples não é valor que incomoda-se com a prova do theorem especializado.
The theorem can be easily generalized and the proof of the general theorem is so simple it is not worth bothering with the proof of the specialized theorem..

Por Theorem de Cantor então(P(C)) é estritamente mais grande do que C.
By Cantor's Theorem then(P(C)) is strictly greater than C.