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

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 special case of Stokes' theorem in which F is a vector field and M is an oriented, compact embedded 2-manifold with boundary in R^3, and a generalization of Green's theorem ...

A curve whose centrode revolves about a fixed axis with constant angle and speed when the curve is traversed with unit speed. The tangent indicatrix of a curve of constant ...

A coordinate system composed of intersecting surfaces. If the intersections are all at right angles, then the curvilinear coordinates are said to form an orthogonal ...

Let j_k(alpha) denote the number of cycles of length k for a permutation alpha expressed as a product of disjoint cycles. The cycle index Z(X) of a permutation group X of ...

The cyclic group C_(11) is unique group of group order 11. An example is the integers modulo 11 under addition (Z_(11)). No modulo multiplication group is isomorphic to ...

A cyclic polygon is a polygon with vertices upon which a circle can be circumscribed. Since every triangle has a circumcircle, every triangle is cyclic. It is conjectured ...

The Darboux cubic Z(X_(20)) of a triangle DeltaABC is the locus of all pedal-cevian points (i.e., of all points whose pedal triangle is perspective with DeltaABC). It is a ...