Search Results for ""

Consider a clause (disjunction of literals) obtained from those of a first-order logic formula Phi in Skolemized form forall x_1... forall x_nS. Then a literal obtained from ...

Given a triangle, extend two sides in the direction opposite their common vertex. The circle tangent to these two lines and to the other side of the triangle is called an ...

An anchor is the bundle map rho from a vector bundle A to the tangent bundle TB satisfying 1. [rho(X),rho(Y)]=rho([X,Y]) and 2. [X,phiY]=phi[X,Y]+(rho(X)·phi)Y, where X and Y ...

The bend of a circle C mutually tangent to three other circles is defined as the signed curvature of C. If the contacts are all external, the signs of the bends of all four ...

A gadget defined for complex vector bundles. The Chern classes of a complex manifold are the Chern classes of its tangent bundle. The ith Chern class is an obstruction to the ...

Given a source S and a curve gamma, pick a point on gamma and find its tangent T. Then the locus of reflections of S about tangents T is the orthotomic curve (also known as ...

At each point on a given a two-dimensional surface, there are two "principal" radii of curvature. The larger is denoted R_1, and the smaller R_2. The "principal directions" ...

The rectifiable sets include the image of any Lipschitz function f from planar domains into R^3. The full set is obtained by allowing arbitrary measurable subsets of ...

A surface in 3-space can be parameterized by two variables (or coordinates) u and v such that x = x(u,v) (1) y = y(u,v) (2) z = z(u,v). (3) If a surface is parameterized as ...

A symplectic form on a smooth manifold M is a smooth closed 2-form omega on M which is nondegenerate such that at every point m, the alternating bilinear form omega_m on the ...