Search Results for ""

A honeycomb-like packing that forms hexagons.

Consider a clause (disjunction of literals) obtained from those of a first-order logic formula Phi in Skolemized form forall x_1... forall x_nS. Then an atomic statement ...

Consider a clause (disjunction of literals) obtained from those of a first-order logic sentential formula Phi in Skolemized form forall x_1... forall x_nS, then a clause ...

The set of sums sum_(x)a_xx ranging over a multiplicative group and a_i are elements of a field with all but a finite number of a_i=0. Group rings are graded algebras.

A group set is a set whose elements are acted on by a group. If the group G acts on the set S, then S is called a G-set. Let G be a group and let S be a G-set. Then for every ...

The problem of deciding if four colors are sufficient to color any map on a plane or sphere.

The gyroelongated pentagonal bicupola is the Johnson solid J_(46), which consists of two pentagonal cupolas, one twisted with respect to the other, adjoined to a decagonal ...

Johnson solid J_(48).

The difference H_2-H_1, where H_1 and H_2 are hinges. It is the same as the interquartile range for N=5, 9, 13, ... points.

A knot move illustrated above. Two knots cannot be distinguished using Vassiliev invariants of order <=n iff they are related by a sequence of such moves (Habiro 2000). There ...