Search Results for ""

The Heine-Borel theorem states that a subspace of R^n (with the usual topology) is compact iff it is closed and bounded. The Heine-Borel theorem can be proved using the ...

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

Due to Euler's prolific output, there are a great number of theorems that are know by the name "Euler's theorem." A sampling of these are Euler's displacement theorem for ...

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

Mills (1947) proved the existence of a real constant A such that |_A^(3^n)_| (1) is prime for all integers n>=1, where |_x_| is the floor function. Mills (1947) did not, ...

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

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

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 ...

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 ...

If n>19, there exists a Poulet number between n and n^2. The theorem was proved in 1965.