Search Results for ""

Let E and F be paired spaces with S a family of absolutely convex bounded sets of F such that the sets of S generate F and, if B_1,B_2 in S, then there exists a B_3 in S such ...

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

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 a literal obtained from ...

A general term which refers to an increase (or decrease in the case of the oxymoron "negative growth") in a given quantity.

A n-gonal cupola adjoined to a 2n-gonal antiprism.

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

Johnson solid J_(25).

An n-gonal pyramid adjoined to the top of an n-gonal antiprism. In the 3-gonal gyroelongated pyramid, the pyramid and lateral antiprism are coplanar. However, the 4-gonal and ...