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

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

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

Let alpha be a nonzero rational number alpha=+/-p_1^(alpha_1)p_2^(alpha_2)...p_L^(alpha_L), where p_1, ..., p_L are distinct primes, alpha_l in Z and alpha_l!=0. Then ...

The derivative identity d/(dx)[f(x)g(x)] = lim_(h->0)(f(x+h)g(x+h)-f(x)g(x))/h (1) = (2) = lim_(h->0)[f(x+h)(g(x+h)-g(x))/h+g(x)(f(x+h)-f(x))/h] (3) = f(x)g^'(x)+g(x)f^'(x), ...