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

The representation of a number as a sum of powers of a base b, followed by expression of each of the exponents as a sum of powers of b, etc., until the process stops. For ...

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

The Machin-like formula 1/4pi=2cot^(-1)(2)-cot^(-1)(7). The other 2-term Machin-like formulas are Euler's Machin-like formula, Hutton's formula, and Machin's formula.

A Hermitian inner product space is a complex vector space with a Hermitian inner product.

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