Search Results for ""

A class of subvarieties of the Grassmannian G(n,m,K). Given m integers 1<=a_1<...<a_m<=n, the Schubert variety Omega(a_1,...,a_m) is the set of points of G(n,m,K) ...

The order n of an algebraic surface is the order of the polynomial defining a surface, which can be geometrically interpreted as the maximum number of points in which a line ...

An alternating knot is a knot which possesses a knot diagram in which crossings alternate between under- and overpasses. Not all knot diagrams of alternating knots need be ...

Let (X,tau) be a topological space, and let p in X. Then the arc component of p is union {A subset= X:A is an arc and p in A}.

On a computer screen, the pixels indicating a slanted line are selected with Bresenham's algorithm, developed in 1962 while at IBM.

A compactum (plural: compacta) is a compact metric space. An example of a compactum is any finite discrete metric space. Also, the space [0,1] union [2,3] is a compactum, ...

A continuum is a decomposable continuum if and only if it is the union of two of its proper subcontinua. A continuum that is not decomposable is an indecomposable continuum.

A schematic mathematical illustration showing the relationships between or properties of mathematical objects.

Edge splitting is the reverse of edge contraction.

Consider a clause (disjunction of literals) obtained from those of a first-order logic formula Phi in Skolemized form forall x_1... forall x_nS. Then an atomic statement ...