Search Results for ""

A torispherical dome is the surface obtained from the intersection of a spherical cap with a tangent torus, as illustrated above. The radius of the sphere R is called the ...

Two submanifolds X and Y in an ambient space M intersect transversally if, for all p in X intersection Y, TX_p+TY_p={v+w:v in TX_p,w in TY_p}=TM_p, where the addition is in ...

Given triangle DeltaABC, there are four lines simultaneously tangent to the incircle (with center I) and the A-excircle (with center J_A). Of these, three correspond to the ...

There does not exist an everywhere nonzero tangent vector field on the 2-sphere S^2. This implies that somewhere on the surface of the Earth, there is a point with zero ...

Let phi(x_1,...,x_m) be an L_(exp) formula, where L_(exp)=L union {e^x} and L is the language of ordered rings L={+,-,·,<,0,1}. Then there exist n>=m and f_1,...,f_s in ...

For n a positive integer, expressions of the form sin(nx), cos(nx), and tan(nx) can be expressed in terms of sinx and cosx only using the Euler formula and binomial theorem. ...

The plane spanned by the three points x(t), x(t+h_1), and x(t+h_2) on a curve as h_1,h_2->0. Let z be a point on the osculating plane, then [(z-x),x^',x^('')]=0, where ...

A formula of first-order logic is said to be in Skolemized form (sometimes also called Skolem standard form or universal form) if it is of the form forall x_1... forall x_nM, ...

The geodesics on a general cylinder generated by lines parallel to a line l with which the tangent makes a constant angle.

A parameterization of a surface x(u,v) in u and v is regular if the tangent vectors (partialx)/(partialu) and (partialx)/(partialv) are always linearly independent.