Search Results for ""

Consider a clause (disjunction of literals) obtained from those of a first-order logic sentential formula Phi in Skolemized form forall x_1... forall x_nS, then a clause ...

Consider a clause (disjunction of literals) obtained from those of a first-order logic formula Phi in Skolemized form forall x_1... forall x_nS. Then a literal obtained from ...

The set of all ground atoms that can be formed from predicate symbols from a clause in Skolemized form S and terms from the Herbrand universe H of S.

A knot that secures a rope to a post, ring, another rope, etc., but does not keep its shape by itself.

A formula for the number of Young tableaux associated with a given Ferrers diagram. In each box, write the sum of one plus the number of boxes horizontally to the right and ...

A linear transformation A:R^n->R^n is hyperbolic if none of its eigenvalues has modulus 1. This means that R^n can be written as a direct sum of two A-invariant subspaces E^s ...

A continuum that is not decomposable is an indecomposable continuum.

In Kepler's 1619 book Harmonice Mundi on tilings, he discussed a tiling built with pentagons, pentagrams, decagons, and "fused decagon pairs." He also called them "monsters." ...

A knot invariant in the form of a polynomial such as the Alexander polynomial, BLM/Ho Polynomial, bracket polynomial, Conway polynomial, HOMFLY polynomial, Jones polynomial, ...

The Lebombo bone is the oldest known mathematical artifact. It dates from 35000 BC and consists of 29 distinct notches that were deliberately cut into a baboon's fibula. It ...