Search Results for ""

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

If f(x)=f_0+f_1x+f_2x^2+...+f_nx^n+..., (1) then S(n,j)=f_jx^j+f_(j+n)x^(j+n)+f_(j+2n)x^(j+2n)+... (2) is given by S(n,j)=1/nsum_(t=0)^(n-1)w^(-jt)f(w^tx), (3) where ...

The name for the set of integers modulo m, denoted Z/mZ. If m is a prime p, then the modulus is a finite field F_p=Z/pZ.

A surface given by the parametric equations x(u,v) = u (1) y(u,v) = v (2) z(u,v) = 1/3u^3-1/2v^2. (3) The coefficients of the coefficients of the first fundamental form are E ...

A method for constructing magic squares of odd order, also called de la Loubere's method.

The surface given by the parametric equations x = asinu (1) y = asinv (2) z = asin(u+v). (3) It is a sextic surface with algebraic equation (4) The coefficients of the first ...

The single bar | is a notation variously used to denote the absolute value |x|, complex modulus |z|, vector norm |x|, determinant |A|, or "divides" (a|b).

A system is singular if its condition number is infinite and ill-conditioned if it is too large.

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

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