Search Results for ""

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

A quantity a is said to be greater than b if a is larger than b, written a>b. If a is greater than or equal to b, the relationship is written a>=b. In the Wolfram Language, ...

A G-space provides local notions of harmonic, hyperharmonic, and superharmonic functions. When there exists a nonconstant superharmonic function greater than 0, it is a ...

A method for predicting the onset of widespread chaos. It is based on the hypothesis that the dissolution of an invariant torus can be associated with the sudden change from ...

A honeycomb-like packing that forms hexagons.

Given n circles and a perimeter p, the total area of the convex hull is A_(Convex Hull)=2sqrt(3)(n-1)+p(1-1/2sqrt(3))+pi(sqrt(3)-1). Furthermore, the actual area equals this ...

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