Search Results for ""

One of the Zermelo-Fraenkel axioms which asserts the existence for any set a of a set x such that, for any y of a, if there exists a z satisfying A(y,z), then such z exists ...

One of the Zermelo-Fraenkel axioms which asserts the existence of the empty set emptyset. The axiom may be stated symbolically as exists x forall y(!y in x).

The axiom of Zermelo-Fraenkel set theory which asserts the existence for any set a of the sum (union) x of all sets that are elements of a. The axiom may be stated ...

The property of certain algorithms that accurate answers are returned for well-conditioned problems, and the inaccuracy of the answers returned for ill-conditioned problems ...

Let f be a contraction mapping from a closed subset F of a Banach space E into F. Then there exists a unique z in F such that f(z)=z.

All curves of constant width of width w have the same perimeter piw.

A Bergman kernel is a function of a complex variable with the "reproducing kernel" property defined for any domain in which there exist nonzero analytic functions of class ...

Two curves which, at any point, have a common principal normal vector are called Bertrand curves. The product of the torsions of Bertrand curves is a constant.

A maximal subgraph of an undirected graph such that any two edges in the subgraph lie on a common simple cycle.

A two-sided (doubly infinite) Laplace transform, L_t[f(t)](s)=int_(-infty)^inftyf(t)e^(-st)dt. While some authors use this as the primary definition of "the" Laplace ...