Search Results for ""

A clause is a disjunction of literals.

The closed ball with center x and radius r is defined by B_r(x)={y:|y-x|<=r}.

In a cochain complex of modules ...->C^(i-1)->^(d^(i-1))C^i->^(d^i)C^(i+1)->... the module Z^i of i-cocycles Z^i is the kernel of d^i, which is a submodule of C^i.

Given a Schwarz triangle (p q r), replacing each polygon vertex with its antipodes gives the three colunar spherical triangles (p q^' r^'),(p^' q r^'),(p^' q^' r), (1) where ...

A compactum (plural: compacta) is a compact metric space. An example of a compactum is any finite discrete metric space. Also, the space [0,1] union [2,3] is a compactum, ...

Let suma_k and sumb_k be a series with positive terms and suppose a_1<=b_1, a_2<=b_2, .... 1. If the bigger series converges, then the smaller series also converges. 2. If ...

A complete multipartite graph is a graph that is a complete k-partite graph for some positive integer k (Chartrand and Zhang 2008, p. 41).

A complex magnification is a map of the form z|->az, where a is a positive real number, which corresponds to magnification about the origin of points in the complex plane by ...

The endpoints of a confidence interval are known as the confidence limits.

Functions which can be expressed in terms of Legendre functions of the first and second kinds. See Abramowitz and Stegun (1972, p. 337). P_(-1/2+ip)(costheta) = (1) = ...