Search Results for ""

If at least one solution can be determined for a given problem, a solution to that problem is said to exist. Frequently, mathematicians seek to prove the existence of ...

A q-analog of the Saalschütz theorem due to Jackson is given by where _3phi_2 is the q-hypergeometric function (Koepf 1998, p. 40; Schilling and Warnaar 1999).

In the plane, if a line intersects one side of a triangle and misses the three vertices, then it must intersect one of the other two sides. This is a special case of the ...

For a quadrilateral which is not cyclic, Ptolemy's theorem becomes an inequality: AB×CD+BC×DA>AC×BD. The Ptolemy inequality is still valid when ABCD is a triangular pyramid ...

The Taniyama-Shimura conjecture, since its proof now sometimes known as the modularity theorem, is very general and important conjecture (and now theorem) connecting topology ...

Let G be a group and S be a set. Then S is called a left G-set if there exists a map phi:G×S->S such that phi(g_1,phi(g_2,s))=phi(g_1g_2,s) for all s in S and all g_1,g_2 in ...

If x is a member of a set A, then x is said to be an element of A, written x in A. If x is not an element of A, this is written x not in A. The term element also refers to a ...

The ith Pontryagin class of a vector bundle is (-1)^i times the ith Chern class of the complexification of the vector bundle. It is also in the 4ith cohomology group of the ...

The complex plane C with the origin removed, i.e., C-{0}. The punctured plane is sometimes denoted C^* (although this notation conflicts with that for the Riemann sphere C-*, ...

A 24-dimensional Euclidean lattice. An automorphism of the Leech lattice modulo a center of two leads to the Conway group Co_1. Stabilization of the one- and two-dimensional ...