Search Results for ""

The rule (F,F=>G)/G, where => means "implies," which is the sole rule of inference in propositional calculus. This rule states that if each of F and F=>G is either an axiom ...

The partial differential equation (Cole and Cook 1986, p. 34; Zwillinger 1997, p. 134).

A mathematical object which consists of a set of a single element, making it a 1-tuple. The yin-yang is also known as the monad.

A shuffle in which cards from the top of the deck in the left hand are alternatively moved to the bottom and top of the deck in the right hand. If the deck is shuffled m ...

A technically defined group characterizing a system of linear differential equations y_j^'=sum_(k=1)^na_(jk)(x)y_k for j=1, ..., n, where a_(jk) are complex analytic ...

If lim_(z->z_0)(f(z)-f(z_0))/(z-z_0) is the same for all paths in the complex plane, then f(z) is said to be monogenic at z_0. Monogenic therefore essentially means having a ...

A well ordered set of monomials which also satisfies the condition "u<v implies uw<vw" for all monomials u, v, and w. Examples of monomial orders are the lexicographic order ...

The unique 1-polyomino, consisting of a single square.

An integer which is expressible in only one way in the form x^2+Dy^2 or x^2-Dy^2 where x^2 is relatively prime to Dy^2. If the integer is expressible in more than one way, it ...

A morphism f:Y->X in a category is a monomorphism if, for any two morphisms u,v:Z->Y, fu=fv implies that u=v. In the categories of sets, groups, modules, etc., a monomorphism ...