Search Results for ""

An occurrence of a variable in a logic formula which is not inside the scope of a quantifier.

The French metro metric is an example for disproving apparently intuitive but false properties of metric spaces. The metric consists of a distance function on the plane such ...

Frey's theorem states that every Abelian category is a subcategory of some category of modules over a ring. Mitchell (1964) has strengthened this, saying every Abelian ...

The permanent of an n×n integer matrix with all entries either 0 or 1 is 0 iff the matrix contains an r×s submatrix of 0s with r+s=n+1. This result follows from the ...

If f^'(x) is continuous and the integral converges, int_0^infty(f(ax)-f(bx))/xdx=[f(0)-f(infty)]ln(b/a).

The abscissas of the N-point Gaussian quadrature formula are precisely the roots of the orthogonal polynomial for the same interval and weighting function.

The Gallatly circle is the circle with center at the Brocard midpoint X_(39) and radius R_G = Rsinomega (1) = (abc)/(2sqrt(a^2b^2+a^2c^2+b^2c^2)), (2) where R is the ...

The Gelfand-Naimark theorem states that each C^*-algebra is isometrically *-isomorphic to a closed *-subalgebra of the algebra B(H) consisting of all bounded operators acting ...

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

If the abstract simplicial complex S is isomorphic with the vertex scheme of the simplicial complex K, then K is said to be a geometric realization of S, and is uniquely ...