Search Results for ""

Discrete group theory is a broad subject covering certain aspects of groups. Such topics as free groups, group presentations, fundamental groups, Kleinian groups, and ...

A disjunctive syllogism is a valid argument form in propositional calculus, where p and q are propositions: (p v q; ¬p)/(∴q). For example, if someone is going to study law or ...

A multiplication * is said to be right distributive if (x+y)z=xz+yz for every x, y, and z. Similarly, it is said to be left distributive if z(x+y)=zx+zy for every x, y, and ...

If, for n and d integers, the ratio n/d is itself an integer, then d is said to divide n. This relationship is written d|n, read "d divides n." In this case, n is also said ...

A property that passes from a topological space to all its quotient spaces. This is true for connectedness, local connectedness and separability, but not for any of the ...

A binary relation associated with an instance of the stable marriage problem. Stable marriages correspond to vertices with outdegree 0 in the divorce digraph (Skiena 1990, p. ...

sum_(k=-n)^n(-1)^k(n+b; n+k)(n+c; c+k)(b+c; b+k)=(Gamma(b+c+n+1))/(n!Gamma(b+1)Gamma(c+1)), where (n; k) is a binomial coefficient and Gamma(x) is a gamma function.

A set of points which do not lie on any of a certain class of hyperplanes.

Given a contravariant basis {e^->_1,...,e^->_n}, its dual covariant basis is given by e^->^alpha·e^->_beta=g(e^->^alpha,e^->_beta)=delta_beta^alpha, where g is the metric and ...

If X is a normed linear space, then the set of continuous linear functionals on X is called the dual (or conjugate) space of X. When equipped with the norm ...