Search Results for ""

A loose term for a true statement which may be a postulate, theorem, etc.

Let D be a subset of the nonnegative integers Z^* with the properties that (1) the integer 0 is in D and (2) any time that the interval [0,n] is contained in D, one can show ...

Let D be a subset of the nonnegative integers Z^* with the properties that (1) the integer 0 is in D and (2) any time that n is in D, one can show that n+1 is also in D. ...

Let C^omega(I) be the set of real analytic functions on I. Then C^omega(I) is a subalgebra of C^infty(I). A necessary and sufficient condition for a function f in C^infty(I) ...

A data structure designed to allow repeated extraction of the smallest remaining key (Skiena 1990, p. 38).

A Möbius strip with finite thickness.

The volume of a prismatoid is equal to the sum of the volumes of a pyramid, a wedge, and a parallelepiped.

A prismatoid having planar sides and the same number of vertices in both of its parallel planes. The faces of a prismoid are therefore either trapezoids or parallelograms. ...

alpha(x) = 1/(sqrt(2pi))int_(-x)^xe^(-t^2/2)dt (1) = sqrt(2/pi)int_0^xe^(-t^2/2)dt (2) = 2Phi(x) (3) = erf(x/(sqrt(2))), (4) where Phi(x) is the normal distribution function ...

If a line intersects one of two parallel lines, both of which are coplanar with the original line, then it must intersect the other also. This axiom is equivalent to the ...