Search Results for ""

The number of nodes in a graph is called its order.

The dual of the great snub dodecicosidodecahedron and Wenninger dual W_(115).

The dual of the great truncated icosahedron U_(55) and Wenninger dual W_(95).

The dual of the stellated truncated hexahedron U_(19) and Wenninger dual W_(92)

An approach for the calculation of a Gröbner basis into several smaller computations following a path in the Gröbner fan of the ideal generated by the system of inequalities.

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