Search Results for ""

A formal argument in logic in which it is stated that 1. P=>Q and R=>S (where => means "implies"), and 2. Either not-Q or not-S is true, from which two statements it follows ...

The term used by Hunter and Madachy (1975, p. 24) and Madachy (1979, p. 87) to refer to a panmagic square.

A 6-piece polycube dissection of the 3×3 cube.

A diafix of a string T=s_1s_2...s_N is a substring s_(i+1)...s_(N-i) (0<=i<N/2). It is therefore not a first (prefix) or last (suffix) part of a string, but rather is a ...

A Ramsey number of the form R(k,k;2).

Delta_hf(x)=(f(x+h)-f(x))/h=(Deltaf)/h. It gives the slope of the secant line passing through f(x) and f(x+h). In the limit h->0, the difference quotient becomes the partial ...

The shortest path-spanning tree from a graph vertex of a graph.

Informally, a situation in which a decision must be made from several alternatives, none of which is obviously the optimal one. In formal logic, a dilemma is a specific type ...

The order-n dipole graph D_n is a multigraph consisting of two vertices and n multiple edges joining them. The dipole graph D_2 is a multigraph that can be considered to ...

A set S together with a relation >= which is both transitive and reflexive such that for any two elements a,b in S, there exists another element c in S with c>=a and c>=b. In ...