Search Results for ""

A formal argument in logic in which it is stated that (1) P=>Q and R=>S (where => means "implies"), and (2) either P or R is true, from which two statements it follows that ...

The contact angle between a sphere and a tangent plane is the angle alpha between the normal to the sphere at the point of tangency and the basal plane with respect to which ...

A hypergeometric function in which one parameter changes by +1 or -1 is said to be contiguous. There are 26 functions contiguous to _2F_1(a,b;c;x) taking one pair at a time. ...

A sentence is called a contingency if its truth table contains at least one 'T' and at least one 'F.'

f(x)=1/x-|_1/x_| for x in [0,1], where |_x_| is the floor function. The natural invariant of the map is rho(y)=1/((1+y)ln2).

An algorithm for computing an Egyptian fraction, called the Farey sequence method by Bleicher (1972).

A group having continuous group operations. A continuous group is necessarily infinite, since an infinite group just has to contain an infinite number of elements. But some ...

While the above figure appears to be a sequence of nested squares, it actually consists of a single square spiral.

A continuous map is a continuous function between two topological spaces. In some fields of mathematics, the term "function" is reserved for functions which are into the real ...

A continuous vector bundle is a vector bundle pi:E->M with only the structure of a topological manifold. The map pi is continuous. It has no smooth structure or bundle metric.