Search Results for ""

A functor between categories of groups or modules is called exact if it preserves the exactness of sequences, or equivalently, if it transforms short exact sequences into ...

An exact sequence is a sequence of maps alpha_i:A_i->A_(i+1) (1) between a sequence of spaces A_i, which satisfies Im(alpha_i)=Ker(alpha_(i+1)), (2) where Im denotes the ...

The trilinear coordinates alpha:beta:gamma of a point P relative to a reference triangle are proportional to the directed distances a^':b^':c^' from P to the side lines of ...

The center J_i of an excircle. There are three excenters for a given triangle, denoted J_1, J_2, J_3. The incenter I and excenters J_i of a triangle are an orthocentric ...

A Lie algebra over an algebraically closed field is called exceptional if it is constructed from one of the root systems E_6, E_7, E_8, F_4, and G_2 by the Chevalley ...

A shuffle of a deck of cards obtained by successively exchanging the cards in position 1, 2, ..., n with cards in randomly chosen positions. For 4<=n<=17, the most frequent ...

Define A^' to be the point (other than the polygon vertex A) where the triangle median through A meets the circumcircle of ABC, and define B^' and C^' similarly. Then the ...

A theorem stating the existence of an object, such as the solution to a problem or equation. Strictly speaking, it need not tell how many such objects there are, nor give ...

In predicate calculus, an existential formula is a prenex normal form formula (i.e., a formula written as a string of quantifiers and bound variables followed by a ...

An existential sentence is a statement claiming the existence of an object with given properties. In the language of set theory it can be formulated as follows, exists x in U ...