Search Results for ""

A statement about theorems. It usually gives a criterion for getting a new theorem from an old one, either by changing its objects according to a rule (duality principle), or ...

Vizing's theorem states that a graph can be edge-colored in either Delta or Delta+1 colors, where Delta is the maximum vertex degree of the graph. A graph with edge chromatic ...

The distance between two points is the length of the path connecting them. In the plane, the distance between points (x_1,y_1) and (x_2,y_2) is given by the Pythagorean ...

The Kreisel conjecture is a conjecture in proof theory that postulates that, if phi(x) is a formula in the language of arithmetic for which there exists a nonnegative integer ...

The Abel equation of the first kind is given by y^'=f_0(x)+f_1(x)y+f_2(x)y^2+f_3(x)y^3+... (Murphy 1960, p. 23; Zwillinger 1997, p. 120), and the Abel equation of the second ...

Given a property P, if P(x)∼x as x->infty (so, using asymptotic notation, the number of numbers less than x not satisfying the property P is o(x), where o(x) is one of the ...

The baby monster group, also known as Fischer's baby monster group, is the second-largest sporadic group. It is denoted B and has group order |B| = ...

Functions which can be expressed in terms of Legendre functions of the first and second kinds. See Abramowitz and Stegun (1972, p. 337). P_(-1/2+ip)(costheta) = (1) = ...

Extend the symmedians of a triangle DeltaA_1A_2A_3 to meet the circumcircle at P_1, P_2, P_3. Then the symmedian point K of DeltaA_1A_2A_3 is also the symmedian point of ...

Given an antisymmetric second tensor rank tensor C_(ij), a dual pseudotensor C_i is defined by C_i=1/2epsilon_(ijk)C_(jk), (1) where C_i = [C_(23); C_(31); C_(12)] (2) C_(jk) ...