Search Results for ""

A Horn clause without a positive literal.

The goat problem (or bull-tethering problem) considers a fenced circular field of radius a with a goat (or bull, or other animal) tied to a point on the interior or exterior ...

Given a rectangle having sides in the ratio 1:phi, the golden ratio phi is defined such that partitioning the original rectangle into a square and new rectangle results in a ...

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.

A graph cycle.

The multiplicity of a multigraph is its maximum edge multiplicity.

A section of a graph obtained by finding its intersection with a plane.