Search Results for ""

A well-formed formula B is said to be true for the interpretation M (written |=_MB) iff every sequence in Sigma (the set of all denumerable sequences of elements of the ...

The second-order ordinary differential equation y^('')+alpha(x)y^'+x^2y^n=0.

Given a elliptic modulus k in an elliptic integral, the modular angle alpha is defined by k=sinalpha. An elliptic integral is written I(phi|m) when the parameter m is used, ...

The important property of Fourier transforms that F_x[cos(2pik_0x)f(x)](k) can be expressed in terms of F[f(x)]=F(k) as follows, ...

A module homomorphism is a map f:M->N between modules over a ring R which preserves both the addition and the multiplication by scalars. In symbols this means that ...

The kernel of a module homomorphism f:M-->N is the set of all elements of M which are mapped to zero. It is the kernel of f as a homomorphism of additive groups, and is a ...

The rule (F,F=>G)/G, where => means "implies," which is the sole rule of inference in propositional calculus. This rule states that if each of F and F=>G is either an axiom ...

Spherical triangles into which a sphere is divided by the planes of symmetry of a uniform polyhedron.

A curve consisting of two mirror-reversed intersecting crescents (lunes). This curve can be traced unicursally. The region common to both crescents is a lens.

The partial differential equation (Cole and Cook 1986, p. 34; Zwillinger 1997, p. 134).