Search Results for ""

For {M_i}_(i in I) a family of R-modules indexed by a directed set I, let sigma_(ji):M_j->M_i i<=j be an R-module homomorphism. Call (M_i,sigma_(ji)) an inverse system over I ...

A framework is called "just rigid" if it is rigid, but ceases to be so when any single bar is removed. Lamb (1928, pp. 93-94) proved that a necessary (but not sufficient) ...

The dilogarithm identity Li_2(-x)=-Li_2(x/(1+x))-1/2[ln(1+x)]^2.

The inverse curve of a lemniscate in a circle centered at the origin and touching the lemniscate where it crosses the x-axis produces a rectangular hyperbola (Wells 1991).

The method of exhaustion was an integral-like limiting process used by Archimedes to compute the area and volume of two-dimensional lamina and three-dimensional solids.

Let f be analytic on a domain U subset= C, and assume that f never vanishes. Then if there is a point z_0 in U such that |f(z_0)|<=|f(z)| for all z in U, then f is constant. ...

The very large number consisting of the number 2 inside a mega-gon.

Let S be the set of all possibilities that satisfy hypothesis H, and let S^' be the set of all possibilities that satisfy hypothesis H^'. Then H^' is a nested hypothesis ...

A point p on a regular surface M in R^3 is said to be planar if the Gaussian curvature K(p)=0 and S(p)=0 (where S is the shape operator), or equivalently, both of the ...

The Reidemeister move of type II.