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

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

Every complex matrix can be broken into a Hermitian part A_H=1/2(A+A^(H)) (i.e., A_H is a Hermitian matrix) and an antihermitian part A_(AH)=1/2(A-A^(H)) (i.e., A_(AH) is an ...

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

A Heronian triangle is a triangle having rational side lengths and rational area. The triangles are so named because such triangles are related to Heron's formula ...

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