Search Results for ""

Let x->y and u->v be two rules of a term rewriting system, and suppose these rules have no variables in common. If they do, rename the variables. If x_1 is a subterm of x (or ...

The region 0<sigma<1, where sigma is defined as the real part of a complex number s=sigma+it. All nontrivial zeros (i.e., those not at negative even integers) of the Riemann ...

Critical damping is a special case of damped simple harmonic motion x^..+betax^.+omega_0^2x=0, (1) in which D=beta^2-4omega_0^2=0, (2) where beta is the damping constant. ...

An unsolvable problem in logic dating back to the ancient Greeks and quoted, for example, by German philosopher Carl von Prantl (1855). The dilemma consists of a crocodile ...

Let n points xi_1, ..., xi_n be randomly distributed on a domain S, and let H be some event that depends on the positions of the n points. Let S^' be a domain slightly ...

Consider a convex plane curve K with perimeter L, and the set of points P exterior to K. Further, let t_1 and t_2 be the perpendicular distances from P to K (with ...

Let a knot K be parameterized by a vector function v(t) with t in S^1, and let w be a fixed unit vector in R^3. Count the number of local minima of the projection function ...

The cross-correlation of two complex functions f(t) and g(t) of a real variable t, denoted f*g is defined by f*g=f^_(-t)*g(t), (1) where * denotes convolution and f^_(t) is ...

A cross-handle is a topological structure which can be thought of as the object produced by puncturing a surface twice, attaching a zip around each puncture travelling in the ...

A cross section of a solid is a plane figure obtained by the intersection of that solid with a plane. The cross section of an object therefore represents an infinitesimal ...