Search Results for ""

A partially ordered set P=(X,<=) is an interval order if it is isomorphic to some set of intervals on the real line ordered by left-to-right precedence. Formally, P is an ...

A point process N on R is said to be interval stationary if for every r=1,2,3,... and for all integers i_i,...,i_r, the joint distribution of {tau_(i_1+k),...,tau_(i_r+k)} ...

A curvature such as Gaussian curvature which is detectable to the "inhabitants" of a surface and not just outside observers. An extrinsic curvature, on the other hand, is not ...

The tangent space at a point p in an abstract manifold M can be described without the use of embeddings or coordinate charts. The elements of the tangent space are called ...

An intrinsically linked graph is a graph having the property that any embedding of it in three dimensions contains a nontrivial link. A graph is intrinsically linked iff it ...

The proof theories of propositional calculus and first-order logic are often referred to as classical logic. Intuitionistic propositional logic can be described as classical ...

A negative-height (inward-pointing) pyramid used in augmentation. The term was introduced by B. Grünbaum.

Three concurrent homologous lines pass respectively through three fixed points on the similitude circle which are known as the invariable points.

A quantity which remains unchanged under certain classes of transformations. Invariants are extremely useful for classifying mathematical objects because they usually reflect ...

The polynomials in the diagonal of the Smith normal form or rational canonical form of a matrix are called its invariant factors.