Search Results for ""

A theorem that guarantees that the trajectory of Langton's ant is unbounded.

A Tauberian theorem is a theorem that deduces the convergence of an series on the basis of the properties of the function it defines and any kind of auxiliary hypothesis ...

A generalization of Turán's theorem to non-complete graphs.

Alexandrov's theorem addresses conditions under which a polygon will fold into a convex polyhedron (Malkevitch).

A special case of Stokes' theorem in which F is a vector field and M is an oriented, compact embedded 2-manifold with boundary in R^3, and a generalization of Green's theorem ...

Let f(x) be differentiable on the open interval (a,b) and continuous on the closed interval [a,b]. Then there is at least one point c in (a,b) such that ...

The Hopf invariant one theorem, sometimes also called Adams' theorem, is a deep theorem in homotopy theory which states that the only n-spheres which are H-spaces are S^0, ...

The divergence theorem, more commonly known especially in older literature as Gauss's theorem (e.g., Arfken 1985) and also known as the Gauss-Ostrogradsky theorem, is a ...

A theorem which treats constructions of fields of field characteristic p.

A theorem, also called the iteration theorem, that makes use of the lambda notation introduced by Church. Let phi_x^((k)) denote the recursive function of k variables with ...