Search Results for ""

If {a_0,a_1,...} is a recursive sequence, then the set of all k such that a_k=0 is the union of a finite (possibly empty) set and a finite number (possibly zero) of full ...

Even though real arithmetic is uncountable, it possesses a countable "model."

A Skolem sequence of order n is a sequence S={s_1,s_2,...,s_(2n)} of 2n integers such that 1. For every k in {1,2,...,n}, there exist exactly two elements s_i,s_j in S such ...

A formula of first-order logic is said to be in Skolemized form (sometimes also called Skolem standard form or universal form) if it is of the form forall x_1... forall x_nM, ...

Slater (1960, p. 31) terms the identity _4F_3[a,1+1/2a,b,-n; 1/2a,1+a-b;1+a+n]=((1+a)_n(1/2+1/2a-b)_n)/((1/2+1/2a)_n(1+a-b)_n) for n a nonnegative integer the "_4F_3[1] ...

A space curve consisting of a spiral wound around a helix. It has parametric equations x = [R+acos(omegat)]cost (1) y = [R+acos(omegat)]sint (2) z = ht+asin(omegat). (3)

The slope-intercept form of a line in the Cartesian plane is given by y=mx+b, where b is the y-intercept and m is the slope.

Assemble six 1×2×2 blocks and three 1×1×1 blocks into a 3×3×3 cube.

A moving average may generate an irregular oscillation even if none exists in the original data.

The space of immersions of a manifold in another manifold is homotopically equivalent to the space of bundle injections from the tangent space of the first to the tangent ...