Search Results for ""

Any bivariate distribution function with marginal distribution functions F and G satisfies max{F(x)+G(y)-1,0}<=H(x,y)<=min{F(x),G(y)}.

A Horn clause without a positive literal.

A graph cycle.

The vertical length of an object from top to bottom.

An operator A^~ such that A^~^2=A^~ or an element of an algebra x such that x^2=x.

Definitions about a set which depend on the entire set.

A curve created by starting with a circle, dividing it into six arcs, and flipping three alternating arcs. The process is then repeated an infinite number of times.

An archaic term for calculus.

The Jordan product of quantities x and y is defined by x·y=1/2(xy+yx).

An algorithm which constructs allowed mathematical statements from simple ingredients.