Search Results for ""

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.

In a lattice, any two elements a and b have a least upper bound. This least upper bound is often called the join of a and b, and is denoted by a v b. One can also speak of ...

A space X is locally pathwise-connected if for every neighborhood around every point in X, there is a smaller, pathwise-connected neighborhood.

A regression giving conditional expectation values of a given variable in terms of two or more other variables.

An "overdot" is a raised dot appearing above a symbol most commonly used in mathematics to indicate a derivative taken with respect to time (e.g., x^.=dx/dt). The expression ...

The Reidemeister move of type II.

A diagram used in the solution of ordinary differential equations of the form (dw)/(dz)=(g(z,w))/(h(z,q)) which vanish when z=0, where g(0,0)=h(0,0)=0 (Ince 1956, pp. 298 and ...

A fixed point for which the stability matrix has one zero eigenvector with positive eigenvalue lambda>0.

One of the seven 4-polyhexes. S. Kim has observed that four worms solve the puzzle of finding a non-three-colorable map with only four congruent countries (as long as no ...

The Catalan numbers on nonnegative integers n are a set of numbers that arise in tree enumeration problems of the type, "In how many ways can a regular n-gon be divided into ...