Search Results for ""

The proposition that every consistent generalized theory has a model. The theorem is true if the axiom of choice is assumed.

A ruled surface is called a generalized cone if it can be parameterized by x(u,v)=p+vy(u), where p is a fixed point which can be regarded as the vertex of the cone. A ...

In population studies, the direct offspring of a reference population (roughly) constitutes a single generation. For a cellular automaton, the fundamental unit of time during ...

A cylindrical algebraic decomposition that omits sets of measure zero. Generic cylindrical algebraic decompositions are generally much quicker to compute than are normal ...

The genesa is a mystical figure that correspond to a spherical cuboctahedron.

An authalic latitude given by phi_g=tan^(-1)[(1-e^2)tanphi]. (1) The series expansion is phi_g=phi-e_2sin(2phi)+1/2e_2^2sin(4phi)+1/3e_2^3sin(6phi)+..., (2) where ...

For a unit speed curve on a surface, the length of the surface-tangential component of acceleration is the geodesic curvature kappa_g. Curves with kappa_g=0 are called ...

A geodesic mapping f:M->N between two Riemannian manifolds is a diffeomorphism sending geodesics of M into geodesics of N, whose inverse also sends geodesics to geodesics ...

A triangle formed by the arcs of three geodesics on a smooth surface.

Two geometric figures are said to exhibit geometric congruence (or "be geometrically congruent") iff one can be transformed into the other by an isometry (Coxeter and ...