Search Results for ""

A Horn clause without a positive literal.

A problem in the theory of algebraic invariants that was solved by Hilbert using an existence proof.

A metric characterizing the difference between two knots K and K^' in S^3.

A graded algebra over the integers Z. Cohomology of a space is a graded ring.

The index set for the collection of submodules in a graded module.

The set of graph eigenvalues of the adjacency matrix is called the spectrum of the graph. (But note that in physics, the eigenvalues of the Laplacian matrix of a graph are ...

A graphic sequence is a sequence of numbers which can be the degree sequence of some graph. A sequence can be checked to determine if it is graphic using GraphicQ[g] in the ...

An element of order 2 in a group (i.e., an element A of a group such that A^2=I, where I is the identity element).

A gyrobicupola is a bicupola in which the bases are in opposite orientations.

A birotunda in which the bases are in opposite orientations.