English » Arabic

theorem <a theorem; theorems> N

theorem MATH
theorem MATH
theorem MATH
theorem PHILOS
theorem COMPUT
theorem PHILOS

theorem

binomial theorem MATH

existence theorem MATH

reciprocal theorem CONSTR

reciprocity theorem ELEC

angle-sum theorem GEOM

Bernoulli’s Theorem INDUST

central limit theorem ECON

converse of a theorem MATH

electro-acoustical reciprocity theorem PHYS

Monolingual examples (not verified by PONS Editors)

English
Natural deduction systems are more suited to practical theorem-proving.
en.wikipedia.org
The obvious corollary from this theorem is that the best among regular estimators are those with the second component identically equal to zero.
en.wikipedia.org
He is also credited with the use of fat symbols for matrices, making easy the derivation of several theorems of quantum mechanics.
en.wikipedia.org
He came up with essentially the same solution as given in below, and thus attached his name to the theorem.
en.wikipedia.org
We claim that without loss of generality, the latter inequality is always strict; once we do this the theorem can be proved as follows.
en.wikipedia.org
From 1996, the scope broadened to cover all theorem proving in higher-order logics.
en.wikipedia.org
There are many versions of this theorem corresponding to the different ways of decomposing "f".
en.wikipedia.org
For details on that part see structured program theorem.
en.wikipedia.org
For instance, it is used to prove the fundamental theorem of symmetric 2-designs, that the number of blocks equals the number of points.
en.wikipedia.org
A closely related, the finiteness theorem states that the tale cohomology groups of a constructible sheaf on a complete variety are finite.
en.wikipedia.org

Choose your language Deutsch | English | Español | Français | Italiano | Polski