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.

Consider the recurrence equation defined by a_0=m and a_n=|_sqrt(2a_(n-1)(a_(n-1)+1))_|, (1) where |_x_| is the floor function. Graham and Pollak actually defined a_1=m, but ...

A graph cycle.

The multiplicity of a multigraph is its maximum edge multiplicity.