Search Results for ""

A formula whose truth table contains only false in any interpretation is called unsatisfiable.

Kepler's original name for the small stellated dodecahedron.

The magnitude (length) of a vector x=(x_1,x_2,...,x_n) is given by |x|=sqrt(x_1^2+x_2^2+...+x_n^2).

If the first nonzero component of the vector difference A-B is >0, then A≻B. If the first nonzero component of A-B is <0, then A≺B.

Vector subtraction is the process of taking a vector difference, and is the inverse operation to vector addition.

The symbol v variously means "disjunction" (i.e., OR in logic) or "join" (for a lattice).

Oriented in an up-down position.

A function f(x) has a vertical tangent line at x_0 if f is continuous at x_0 and lim_(x->x_0)f^'(x)=+/-infty.

In the American system, 10^(63).

Two lattice points (x,y) and (x^',y^') are mutually visible if the line segment joining them contains no further lattice points. This corresponds to the requirement that ...