Search Results for ""

The set of all ground atoms that can be formed from predicate symbols from a clause in Skolemized form S and terms from the Herbrand universe H of S.

Let X be a continuum (i.e., a compact connected metric space). Then X is hereditarily unicoherent provided that every subcontinuum of X is unicoherent. Any hereditarily ...

Let A be a C^*-algebra. A C^*-subalgebra (that is a closed *-subalgebra) B of A is called hereditary if bab^' in B for all b,b^' in B and a in A, or equivalently if for a in ...

The illusion in view by staring at the small black dot for a half minute or so, then switching to the white dot. The black squares appear stationary when staring at the white ...

A symbol used to represent the point and space groups (e.g., 2/m3^_). Some symbols have abbreviated form. The equivalence between Hermann-Mauguin symbols (a.k.a. ...

The Heronian mean of two numbers a and b is defined as HM(a,b) = 1/3(2A+G) (1) = 1/3(a+sqrt(ab)+b), (2) where A is the arithmetic mean and G the geometric mean. It arises in ...

The Herschel is the heptomino illustrated above which is shaped like the astronomical symbol for Saturn. It was misnamed by early investigators of the game of life who ...

For real, nonnegative terms x_n and real p with 0<p<1, the expression lim_(k->infty)x_0+(x_1+(x_2+(...+(x_k)^p)^p)^p)^p converges iff (x_n)^(p^n) is bounded.

If two pairs of opposite polygon vertices of a complete quadrilateral are pairs of harmonic conjugate points, then the third pair of opposite polygon vertices is likewise a ...

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.