Search Results for ""

An occurrence of a variable in a logic formula which is not inside the scope of a quantifier.

If the faces of a convex polyhedron were made of metal plates and the polyhedron edges were replaced by hinges, the polyhedron would be rigid. The theorem was stated by ...

A polyhedron compound in which the great dodecahedron is interior to its dual small stellated dodecahedron.

A bistable eight-sided polyhedron discovered by Wunderlich and Schwabe (1986).

The radius rho of the midsphere of a polyhedron, also called the interradius. Let P be a point on the original polyhedron and P^' the corresponding point P on the dual. Then ...

An operator definition of a function. A Rodrigues formula may be converted into a Schläfli integral.

The dual polyhedron of the small rhombidodecahedron and Wenninger model W_(74).

A convex polyhedron is defined as the set of solutions to a system of linear inequalities mx<=b (i.e., a matrix inequality), where m is a real s×d matrix and b is a real ...

An n-polyhedral graph (sometimes called a c-net) is a 3-connected simple planar graph on n nodes. Every convex polyhedron can be represented in the plane or on the surface of ...

A formula of first-order logic is in prenex normal form if it is of the form Q_1x_1...Q_nx_nM, (1) where each Q_i is a quantifier forall ("for all") or exists ("exists") and ...