Search Results for ""

A technical mathematical object which bears the same resemblance to binary relations as categories do to functions and sets.

Given a set of objects S, a binary relation is a subset of the Cartesian product S tensor S.

The system of partial differential equations u_t = b·v_x (1) b_(xt) = u_(xx)b+axv_x-2vx(vxb). (2)

A cylinder can be dissected into unequal squares, with nine squares required at a minimum. Trivial squarings can be constructed by taking rectangle dissections and matching ...

A surface of revolution of the form r(phi)=a[1-esin^2phi-(3/8e^2+k)sin^2(2phi)], where k is a second-order correction to the figure of a rotating fluid.

The excentral-hexyl ellipse is the ellipse passing through vertices of the excentral and hexyl triangles (P. Moses, pers. comm., Jan. 29, 2005). It has center at the ...

An extreme point of a subset K of a vector space X is an extreme set S of K which consists of a single point x in K. The collection of all extreme points of K is sometimes ...

The set of all ground atoms that can be formed from predicate symbols from a clause in Skolemized form S and terms from the Herbrand universe H of S.

In a lattice, any two elements a and b have a least upper bound. This least upper bound is often called the join of a and b, and is denoted by a v b. One can also speak of ...

A space X is locally pathwise-connected if for every neighborhood around every point in X, there is a smaller, pathwise-connected neighborhood.