Search Results for ""

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

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

The icositruncated dodecadodecahedron, also called the icosidodecatruncated icosidodecahedron, is the uniform polyhedron with Maeder index 45 (Maeder 1997), Wenninger index ...

The radical of an ideal a in a ring R is the ideal which is the intersection of all prime ideals containing a. Note that any ideal is contained in a maximal ideal, which is ...

The identity function id(x) is the function id(x)=x which assigns every real number x to the same real number x. It is identical to the identity map. The identity function is ...

The imaginary part I[z] of a complex number z=x+iy is the real number multiplying i, so I[x+iy]=y. In terms of z itself, I[z]=(z-z^_)/(2i), where z^_ is the complex conjugate ...

The branch of mathematics dealing with the efficient and accurate storage, transmission, and representation of information.

The sum I over all internal (circular) nodes of the paths from the root of an extended binary tree to each node. For example, in the tree above, the internal path length is ...

Divide a set of data into two groups (high and low) of equal size at the statistical median if there is an even number of data points, or two groups consisting of points on ...