Search Results for ""

A partially ordered set P is a circle order if it is isomorphic to a set of disks ordered by containment.

A well ordered set of monomials which also satisfies the condition "u<v implies uw<vw" for all monomials u, v, and w. Examples of monomial orders are the lexicographic order ...

In elliptic cylindrical coordinates, the scale factors are h_u=h_v=sqrt(sinh^2u+sin^2v), h_z=1, and the separation functions are f_1(u)=f_2(v)=f_3(z)=1, giving a Stäckel ...

Let M be a regular surface with v_(p),w_(p) points in the tangent space M_(p) of M. For M in R^3, the second fundamental form is the symmetric bilinear form on the tangent ...

Every totally ordered set (A,<=) is associated with a so-called order type. Two sets A and B are said to have the same order type iff they are order isomorphic (Ciesielski ...

A differential ideal is an ideal I in the ring of smooth forms on a manifold M. That is, it is closed under addition, scalar multiplication, and wedge product with an ...

A topology defined on a totally ordered set X whose open sets are all the finite intersections of subsets of the form {x in X|x>a} or {x in X|x<a}, where a in X. The order ...

An ordering for the Cartesian product × of any two sets A and B with order relations <A and <B, respectively, such that if (a_1,b_1) and (a_2,b_2) both belong to A×B, then ...

The number of elements in a group G, denoted |G|. If the order of a group is a finite number, the group is said to be a finite group. The order of an element g of a finite ...

In parabolic cylindrical coordinates, the scale factors are h_u=h_v=sqrt(u^2+v^2), h_z=1 and the separation functions are f_1(u)=f_2(v)=f_3(z)=1, giving Stäckel determinant ...