Search Results for ""

Deciding whether a given Boolean formula in conjunctive normal form has an assignment that makes the formula "true." In 1971, Cook showed that the problem is NP-complete.

A set of integers that give the orders of the blocks in a Jordan canonical form, with those integers corresponding to submatrices containing the same latent root bracketed ...

The Seiberg-Witten equations are D_Apsi = 0 (1) F_A^+ = -tau(psi,psi), (2) where tau is the sesquilinear map tau:W^+×W^+->Lambda^+ tensor C.

An expression which is a sentence or which contains variables and becomes a sentence upon appropriate substitutions for these variables (Carnap 1958, p. 24). Sentential ...

A sentential variable, also called a propositional variable, that can be substituted for in arbitrary sentential formulas (Carnap 1958, p. 24).

The property intf(y)delta(x-y)dy=f(x) obeyed by the delta function delta(x).

A surface harmonic of degree l which is premultiplied by a factor r^l. Confusingly, solid harmonics are also known as "spherical harmonics" (Whittaker and Watson 1990, p. ...

As originally stated by Gould (1972), GCD{(n-1; k),(n; k-1),(n+1; k+1)} =GCD{(n-1; k-1),(n; k+1),(n+1; k)}, (1) where GCD is the greatest common divisor and (n; k) is a ...

The Stiefel manifold of orthonormal k-frames in R^n is the collection of vectors (v_1, ..., v_k) where v_i is in R^n for all i, and the k-tuple (v_1, ..., v_k) is ...

Any linear combination of real spherical harmonics A_lP_l(costheta)+sum_(m=1)^l[A_l^mcos(mphi)+B_l^msin(mphi)]P_l^m(costheta) for l fixed whose sum is not premultiplied by a ...