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 an atomic statement ...

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

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

A half-plane is a planar region consisting of all points on one side of an infinite straight line, and no points on the other side. If the points on the line are included, ...

The contour C_epsilon illustrated above.

Let u_1<=u_2<=... be harmonic functions on a connected open set U subset= C. Then either u_j->infty uniformly on compact sets or there is a finite-values harmonic function u ...

The Heisenberg group H^n in n complex variables is the group of all (z,t) with z in C^n and t in R having multiplication (w,t)(z,t^')=(w+z,t+t^'+I[w^*z]) (1) where w^* is the ...

A 16-sided polygon, sometimes also called a hexakaidecagon. The regular hexadecagon is a constructible polygon, and the inradius r, circumradius R, and area A of the regular ...

A function which satisfies f(tx,ty)=t^nf(x,y) for a fixed n. Means, the Weierstrass elliptic function, and triangle center functions are homogeneous functions. A ...

A point p on a regular surface M in R^3 is said to be hyperbolic if the Gaussian curvature K(p)<0 or equivalently, the principal curvatures kappa_1 and kappa_2, have opposite ...