Search Results for ""

Given a number field K, there exists a unique maximal unramified Abelian extension L of K which contains all other unramified Abelian extensions of K. This finite field ...

If f:[a,b]->[a,b] (where [a,b] denotes the closed interval from a to b on the real line) satisfies a Lipschitz condition with constant K, i.e., if |f(x)-f(y)|<=K|x-y| for all ...

Homogeneous barycentric coordinates are barycentric coordinates normalized such that they become the actual areas of the subtriangles. Barycentric coordinates normalized so ...

A homogeneous space M is a space with a transitive group action by a Lie group. Because a transitive group action implies that there is only one group orbit, M is isomorphic ...

An abstract algebra concerned with results valid for many different kinds of spaces. Modules are the basic tools used in homological algebra.

Two figures are homothetic if they are related by an expansion or geometric contraction. This means that they lie in the same plane and corresponding sides are parallel; such ...

A clause (i.e., a disjunction of literals) is called a Horn clause if it contains at most one positive literal. Horn clauses are usually written as L_1,...,L_n=>L(=¬L_1 v ... ...

A hyperfunction, discovered by Mikio Sato in 1958, is defined as a pair of holomorphic functions (f,g) which are separated by a boundary gamma. If gamma is taken to be a ...

Hyperreal numbers are an extension of the real numbers to include certain classes of infinite and infinitesimal numbers. A hyperreal number x is said to be finite iff |x|<n ...

The icosidodecadodecahedron is the uniform polyhedron with Maeder index 44 (Maeder 1997), Wenninger index 83 (Wenninger 1989), Coxeter index 56 (Coxeter et al. 1954), and ...