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

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 perspective collineation in which the center and axis are not incident. The term was first used by Poncelet (Cremona 1960, p. ix).

A disk D in a solid torus V=S^1×D^2 is called meridinal if its boundary is a nontrivial curve in del V (so that it is a meridian). Then a closed subset X subset V is called ...

The interesting function defined by the definite integral G(x)=int_0^xsin(tsint)dt, illustrated above (Glasser 1990). The integral cannot be done in closed form, but has a ...

The Goldberg graphs are a family of graphs discovered by Goldberg (1981) which are snarks for n=5, 7, 9, .... Precomputed properties of Goldberg graphs are implemented in the ...

Another name for the confluent hypergeometric function of the second kind, defined by where Gamma(x) is the gamma function and _1F_1(a;b;z) is the confluent hypergeometric ...

The four-dimensional version of the gradient, encountered frequently in general relativity and special relativity, is del _mu=[1/cpartial/(partialt); partial/(partialx); ...