Search Results for ""

A disjunction that remains true if either or both of its arguments are true. This is equivalent to the OR connective. By contrast, the exclusive disjunction is true if only ...

An inner automorphism of a group G is an automorphism of the form phi(g)=h^(-1)gh, where h is a fixed element of G. The automorphism of the symmetric group S_3 that maps the ...

A negative-height (inward-pointing) pyramid used in augmentation. The term was introduced by B. Grünbaum.

The term used in propositional calculus for the NOR connective. The notation AvB is used for this connective.

A generalization of the concept of set unions and intersections.

A formula which counts the number of fixed points for a topological transformation.

A type I move (conjugation) takes AB->BA for A, B in B_n where B_n is a braid group. A type II move (stabilization) takes A->Ab_n or A->Ab_n^(-1) for A in B_n, and b_n, Ab_n, ...

Denote the sum of two matrices A and B (of the same dimensions) by C=A+B. The sum is defined by adding entries with the same indices c_(ij)=a_(ij)+b_(ij) over all i and j. ...

The result of a matrix multiplication.

Let G=(V,E) be a (not necessarily simple) undirected edge-weighted graph with nonnegative weights. A cut C of G is any nontrivial subset of V, and the weight of the cut is ...