Search Results for ""

Consider a clause (disjunction of literals) obtained from those of a first-order logic formula Phi in Skolemized form forall x_1... forall x_nS. Then a literal obtained from ...

The problem of deciding if four colors are sufficient to color any map on a plane or sphere.

The contour C_epsilon illustrated above.

H=|aa^'a^('')|a_(x^(n-2))a_(x^(n-2))^'a_(x^(n-2))^('')=0. The nonsingular inflections of a curve are its nonsingular intersections with the Hessian.

If intersecting stable and unstable manifolds (separatrices) emanate from fixed points of different families, they are called heteroclinic points.

An n-dimensional manifold M is said to be a homotopy sphere, if it is homotopy equivalent to the n-sphere S^n. Thus no homotopy group can distinguish between M and S^n. The ...

A Jensen disk is a disk in the complex plane whose diameter joins complex conjugate roots of a polynomial (Trott 2004, p. 22).

A polynomial factorization algorithm that proceeds by considering the vector of coefficients of a polynomial P, calculating b_i=P(i)/a_i, constructing the Lagrange ...

The L^2-inner product of two real functions f and g on a measure space X with respect to the measure mu is given by <f,g>_(L^2)=int_Xfgdmu, sometimes also called the bracket ...

A method for constructing magic squares of singly even order n>=6.