Search Results for ""

Consider a first-order logic formula Phi in Skolemized form forall x_1... forall x_nS. Then the Herbrand universe H of S is defined by the following rules. 1. All constants ...

A continuum is hereditarily decomposable if each of its subcontinua is decomposable. An interval is hereditarily decomposable, as is a circle, whereas the buckethandle (also ...

A property that passes from a topological space to every subspace with respect to the relative topology. Examples are first and second countability, metrizability, the ...

An optical illusion due to the physiologist Ewald Hering in 1861. The two horizontal lines are both straight, but they look as if they were bowed outwards. The distortion is ...

A regular two-dimensional arrangement of squares separated by vertical and horizontal "canals." Looking at the grid produces the illusion of gray spots in the white area ...

Hermite-Gauss quadrature, also called Hermite quadrature, is a Gaussian quadrature over the interval (-infty,infty) with weighting function W(x)=e^(-x^2) (Abramowitz and ...

The Hermite constant is defined for dimension n as the value gamma_n=(sup_(f)min_(x_i)f(x_1,x_2,...,x_n))/([discriminant(f)]^(1/n)) (1) (Le Lionnais 1983). In other words, ...

The second-order ordinary differential equation (d^2y)/(dx^2)-2x(dy)/(dx)+lambday=0. (1) This differential equation has an irregular singularity at infty. It can be solved ...

A Hermitian form on a vector space V over the complex field C is a function f:V×V->C such that for all u,v,w in V and all a,b in R, 1. f(au+bv,w)=af(u,w)+bf(v,w). 2. ...

A Hermitian inner product on a complex vector space V is a complex-valued bilinear form on V which is antilinear in the second slot, and is positive definite. That is, it ...