Search Results for ""

A Horn clause without a positive literal.

A graph cycle.

The vertical length of an object from top to bottom.

Definitions about a set which depend on the entire set.

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.

A geometry constructed without reference to measurement. The only primitive concepts are those of points and intermediacy. There are 10 axioms underlying ordered geometry.

Two (or more) intersecting curves that are perpendicular at their intersection are said to be orthogonal.

A partial function is a function that is not total.