Search Results for ""

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

The geometric span is largest possible distance between two points drawn from a finite set of points. It is therefore closely related to the generalized diameter of a closed ...

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