Search Results for ""

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

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

Any geometric correlation which transforms one range into a projectively related pencil (or vice versa).

A proposition is a mathematical statement such as "3 is greater than 4," "an infinite set exists," or "7 is prime." An axiom is a proposition that is assumed to be true. With ...

A diagram used in the solution of ordinary differential equations of the form (dw)/(dz)=(g(z,w))/(h(z,q)) which vanish when z=0, where g(0,0)=h(0,0)=0 (Ince 1956, pp. 298 and ...

A power series containing fractional exponents (Davenport et al. 1993, p. 91) and logarithms, where the logarithms may be multiply nested, e.g., lnlnx.

A pullback is a general categorical operation appearing in a number of mathematical contexts, sometimes going under a different name. If T:V->W is a linear transformation ...

An action which adds a single element to the top of a stack, turning the stack (a_1, a_2, ..., a_n) into (a_0, a_1, a_2, ..., a_n).

The positive rational numbers, denoted Q^+.

The doublestruck capital letter Q, Q, denotes the field of rationals. It derives from the German word Quotient, which can be translated as "ratio." The symbol Q first ...