Search Results for ""

A lattice which satisfies the identity (x ^ y) v (x ^ z)=x ^ (y v (x ^ z)) is said to be modular.

The branch of formal logic, also called functional calculus, that deals with representing the logical connections between statements as well as the statements themselves.

A polynomial having only real numbers as coefficients. A polynomial with real coefficients is a product of irreducible polynomials of first and second degrees.

The socle of a group G is the subgroup generated by its minimal normal subgroups. For example, the symmetric group S_4 has two nontrivial normal subgroups: A_4 and ...

The asymptotic series of the Airy function Ai(z) (and other similar functions) has a different form in different sectors of the complex plane.

The symmetric group S_n of degree n is the group of all permutations on n symbols. S_n is therefore a permutation group of order n! and contains as subgroups every group of ...

An irregular dodecahedron.

The tritangent of a cubic surface is a plane which intersects the surface in three mutually intersecting lines. Each intersection of two lines is then a tangent point of the ...

A cycle of a graph G, also called a circuit if the first vertex is not specified, is a subset of the edge set of G that forms a path such that the first node of the path ...

A generalized hexagon is a generalized polygon of order 6. GH(1,2) is more commonly known as the Heawood graph, but is also the (3,6)-cage graph, the cubic vertex-transitive ...