Search Results for ""

A linkage which converts circular to linear motion using a hinged square.

The dodecic surface defined by X_(12)=243S_(12)-22Q_(12)=0, (1) where Q_(12) = (x^2+y^2+z^2+w^2)^6 (2) S_(12) = (3) l_1 = x^4+y^4+z^4+w^4 (4) l_2 = x^2y^2+z^2w^2 (5) l_3 = ...

Let K_1 be a knot inside a torus, and knot the torus in the shape of a second knot (called the companion knot) K_2, with certain additional mild restrictions to avoid trivial ...

Let A be a relational system, and let L be a language which is appropriate for A. Let phi be a well-formed formula of L, and let s be a valuation in A. Then A|=_sphi is ...

Deciding whether a given Boolean formula in conjunctive normal form has an assignment that makes the formula "true." In 1971, Cook showed that the problem is NP-complete.

A formula is called satisfiable if it takes at least one true value in some interpretation.

Let X be a set of urelements, and let V(X) be the superstructure with X as its set of individuals. Let kappa be a cardinal number. An enlargement V(^*X) is kappa-saturated ...

A Saunders graphic is a plot of the dth base-b digits of a function f(x,y) as a function of x and y. The plots above show Saunders graphics for the functions ...

In n dimensions for n>=5 the arrangement of hyperspheres whose convex hull has minimal content is always a "sausage" (a set of hyperspheres arranged with centers along a ...

A low-pass filter which is useful for smoothing data.