Search Results for ""

Consider a formula in prenex normal form, Q_1x_1...Q_nx_nN. If Q_i is the existential quantifier (1<=i<=n) and x_k, ..., x_m are all the universal quantifier variables such ...

The slant height of an object (such as a frustum, or pyramid) is the distance measured along a lateral face from the base to the apex along the "center" of the face. In other ...

A mechanical device consisting of a sliding portion and a fixed case, each marked with logarithmic axes. By lining up the ticks, it is possible to do multiplication by taking ...

Given an ordinary differential equation y^'=f(x,y), the slope field for that differential equation is the vector field that takes a point (x,y) to a unit vector with slope ...

Slovin's formula, somtimes also spelled "Sloven's forumula (e.g., Altares et al. 2003, p. 13), is an ad hoc formula lacking mathematical rigor (Ryan 2013) that gives an ...

A small circle is a spheric section that does not contain a diameter of the sphere (Kern and Bland 1948, p. 87; Tietze 1965, p. 25).

R. Whorf found that there are probably several thousand stellations of the small triakis octahedron (Wenninger 1983, p. 36). In particular, the convex hulls of the great ...

Let A be some attribute (e.g., possible, present, perfect, etc.). If all is A, then the non-A must also be A. For example, "All is possible, the impossible too," and "Nothing ...

Another word for a C^infty (infinitely differentiable) manifold, also called a differentiable manifold. A smooth manifold is a topological manifold together with its ...

A plane shape constructed by Reinhardt (1934) that is conjectured to be the "worst" packer of all centrally-symmetric plane regions. It has a packing density of ...