Search Results for ""

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 Lehmer-Mahler is the following integral representation for the Legendre polynomial P_n(x): P_n(costheta) = 1/piint_0^pi(costheta+isinthetacosphi)^ndphi (1) = ...

If two curves phi and psi of multiplicities r_i!=0 and s_i!=0 have only ordinary points or ordinary singular points and cusps in common, then every curve which has at least ...

A linear real-valued function omega^1 of vectors v such that omega^1(v)|->R. Vectors (i.e., contravariant vectors or "kets" |psi>) and one-forms (i.e., covariant vectors or ...

Let f(1)=1, and let f(n) be the number of occurrences of n in a nondecreasing sequence of integers. then the first few values of f(n) are 1, 2, 2, 3, 3, 4, 4, 4, 5, 5, 5, ... ...

The sum of the absolute squares of the spherical harmonics Y_l^m(theta,phi) over all values of m is sum_(m=-l)^l|Y_l^m(theta,phi)|^2=(2l+1)/(4pi). (1) The double sum over m ...

Let phi(x_1,...,x_m) be an L_(exp) formula, where L_(exp)=L union {e^x} and L is the language of ordered rings L={+,-,·,<,0,1}. Then there exist n>=m and f_1,...,f_s in ...

A kit consisting of colored rods and slotted balls that can be used to construct three-dimensional configurations. The balls into which the rods are placed resemble an ...

A surface of revolution of the form r(phi)=a[1-esin^2phi-(3/8e^2+k)sin^2(2phi)], where k is a second-order correction to the figure of a rotating fluid.

A rational homomorphism phi:G->G^' defined over a field is called an isogeny when dimG=dimG^'. Two groups G and G^' are then called isogenous if there exists a third group ...