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

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

A sphere with a single cross-cap. This term is more appropriate in purely topological applications than the more common term real projective plane, which implies the presence ...

Given two crossed ladders resting against two buildings, what is the distance between the buildings? Let the height at which they cross be h and the lengths of the ladders ...

A plane quartic curve also called the cross curve or policeman on point duty curve (Cundy and Rollett 1989). It is given by the implicit equation x^2y^2-b^2x^2-a^2y^2=0, (1) ...